Top PDF A model-driven framework development methodology for robotic systems
A model-driven framework development methodology for robotic systems
... (creating a map), the system level emergent non-functional properties are ...on a single platform or in a distributed fashion, and there is no information regarding the network band- width, ...
195
Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach
... offer development processes that allow to con- ceive real-time embedded ...reconfigurable systems. In this direction, TimeAdapt [20] is a development process for reconfigurable system ...
22
Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach
... offer development processes that allow to con- ceive real-time embedded ...reconfigurable systems. In this direction, TimeAdapt [20] is a development process for reconfigurable system ...
23
The smart grid simulation framework: model-driven engineering applied to cyber-physical systems
... complex systems for which simulation offers a practical way to evaluate and compare multiple solutions before deploy- ...of a Smart Grid requires the development of heterogeneous models ...
26
Model driven engineering for embedded real-time systems
... The Model Driven Architecture approach, promoted by the OMG for a few years, puts the model paradigm in the center of the development ...of model transformations and tries ...
9
A Framework for Quality-Driven Delivery in Distributed Multimedia Systems
... also a need for extension and adaptation of QI models as well as for tools allowing description, integration and translation of QI sets coming from different sources and represented using different ...
6
A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support
... patterns a b s t r a c t Several development approaches have been proposed to cope with the increasing complexity of embedded system ...software-based systems. To enforce reuse and ...
20
A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems
... structure for explaining business modelling approaches ...software development, and the autonomic computing MAPE- K loop ...recommender systems are similar to machine learning pipelines in that ...
10
A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support
... patterns a b s t r a c t Several development approaches have been proposed to cope with the increasing complexity of embedded system ...software-based systems. To enforce reuse and ...
19
A reduction methodology for fluctuation driven population dynamics
... and a; therefore they yield a zero contribution to the estimation of hV ...also for higher orders of ...variables a = πr and v = hV i in terms of the firing rate and of the mean membrane ...
11
A simulation-driven model-based approach for designing softwareintensive systems-of-systems architectures
... 2014, a Systematic Literature Review (SLR) was carried out to investigate how model-based practices have been applied to engineer SoS ( GRACIANO NETO et ...(not for SoS software architecture as ...
249
A generic methodology for partitioning unorganised 3D point clouds for robotic vision
... by a main direction which has to be not parallel to the ground direction (physical ...is a ”pref- erence” for topological shape information in the dis- tance function, it may happen ...
9
Statistical Model Checking of Complex Robotic Systems
... from robotic specifications, and obtain encouraging results on a real ...toward a correct and practical verification of robotic ...probabilities for properties because we lack this kind ...
19
Model-Based Methodology for Requirements Traceability in Embedded Systems
... present a model-based methodology for requirements traceability proposed in the framework of the MeMVaTEx ...The methodology relies on the EAST-ADL language and the two UML ...
11
Safe and secure model-driven design for embedded systems
... our methodology recognizes that we need to determine what to design before we can start designing ...Our methodology starts with the Analysis phase, where we consider the needs of the system and possible ...
214
Designing a microhydraulically-driven mini-robotic squid
... However, static pressure testing does not equate to pumping performance. The valve transition from its forward flow state to reverse flow state takes a finite time during whi[r] ...
93
Concept development for lightweight binary-actuated robotic devices, with application to space systems
... The synergistic combination of embedded muscle-type actuators, compliant mechanisms, binary actuation and control, and bistable mechanisms provides a framework for a ne[r] ...
89
A Logical Framework for Systems Biology
... tools for checking if a finite state system verifies a given CTL, LTL, or PCTL formula, ...biological systems and temporal properties in HyLL, and prove that the prop- erties can be derived ...
21
A model driven approach for the development and verification of service-oriented applications
... with a literature search of existing research results, techniques, and tools that are related to our ...Architecture, a well-known case study taken from the SoaML Specification, and the Travel Management ...
203
Development of a novel iron release flux model for distribution systems
... is a diffusion equilibrium controlled process that results in the release of dissolved ...distribution systems. This paper describes the development of an alternative approach that is supported by ...
28