• Aucun résultat trouvé

[PDF] Top 20 A model-driven framework development methodology for robotic systems

Has 10000 "A model-driven framework development methodology for robotic systems" found on our website. Below are the top 20 most common "A model-driven framework development methodology for robotic systems".

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, ... Voir le document complet

195

Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach

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 ... Voir le document complet

22

Development of Reconfigurable Distributed Embedded Systems with a Model-Driven Approach

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 ... Voir le document complet

23

The smart grid simulation framework: model-driven engineering applied to cyber-physical systems

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 ... Voir le document complet

26

Model driven engineering for embedded real-time systems

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 ... Voir le document complet

9

A Framework for Quality-Driven Delivery in Distributed Multimedia Systems

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 ... Voir le document complet

6

A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support

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 ... Voir le document complet

20

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems

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 ... Voir le document complet

10

A Model-Driven Approach for Developing a Model Repository: Methodology and Tool Support

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 ... Voir le document complet

19

A reduction methodology for fluctuation driven population dynamics

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 ... Voir le document complet

11

A simulation-driven model-based approach for designing softwareintensive systems-of-systems architectures

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 ... Voir le document complet

249

A generic methodology for partitioning unorganised 3D point clouds for robotic vision

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 ... Voir le document complet

9

Statistical Model Checking of Complex Robotic Systems

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 ... Voir le document complet

19

Model-Based Methodology for Requirements Traceability in Embedded Systems

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 ... Voir le document complet

11

Safe and secure model-driven design for embedded systems

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 ... Voir le document complet

214

Designing a microhydraulically-driven mini-robotic squid

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] ... Voir le document complet

93

Concept development for lightweight binary-actuated robotic devices, with application to space systems

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] ... Voir le document complet

89

A Logical Framework for Systems Biology

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 ... Voir le document complet

21

A model driven approach for the development and verification of service-oriented applications

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 ... Voir le document complet

203

Development of a novel iron release flux model for distribution systems

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 ... Voir le document complet

28

Show all 10000 documents...