• Aucun résultat trouvé

[PDF] Top 20 Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development

Has 10000 "Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development" found on our website. Below are the top 20 most common "Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development".

Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development

Model-Based Software Engineering : Methodologies for Model-Code Synchronization in Reactive System Development

... elements, in par- ticular the state and transition concepts, into C and C#, respectively, for dealing with ...does. In [ Henry 2008 ], UML-SM elements are embedded into C++, namely meta state ... Voir le document complet

185

Use of Model-Based Software Product Line Engineering for Certifiable Avionics Software Development

Use of Model-Based Software Product Line Engineering for Certifiable Avionics Software Development

... others in [41], who assessed cost reduction on generating certification artifacts by using model-based and product-line technology for the avionics software of NH90 military helicopter ... Voir le document complet

93

SCADE System, a comprehensive toolset for smooth transition from Model-Based System Engineering to certified embedded control and display software

SCADE System, a comprehensive toolset for smooth transition from Model-Based System Engineering to certified embedded control and display software

... the system model, can be exported as standalone SCADE System models to be implemented by SW specialists, thus avoiding sharing the IP of the whole system ...SCADE System, is the use of ... Voir le document complet

9

Generic Model-based Approaches for Software Reverse Engineering and Comprehension

Generic Model-based Approaches for Software Reverse Engineering and Comprehension

... need for reverse engineering capabilities for executable behaviors is the ARTIST ...resulted in both an overall methodology and the related tooling aimed at providing a global ... Voir le document complet

173

Model Based System Engineering Introduction within Industrial Engineering Curriculum

Model Based System Engineering Introduction within Industrial Engineering Curriculum

... Systems Engineering (SE) has been initially developed to manage large complex system development in the defence or aerospace ...product development approaches evolved ...of ... Voir le document complet

7

Model-driven software development approaches in robotics research

Model-driven software development approaches in robotics research

... of model-based system, especially if it has multiple abstraction layers and differ- ent horizontal separation of ...lem in analyzed approaches because separation of concerns is applied only at ... Voir le document complet

7

A Model-Driven Engineering Framework for Constrained Model Search

A Model-Driven Engineering Framework for Constrained Model Search

... and model transformation Model Driven Engineering is an emerging research area that considers the main software artifacts as typed ...a software system may be easily separated or ... Voir le document complet

23

Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering

Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering

... them in the repository. System designers can then reuse existing patterns from the repository through identification and tailoring mechanisms, leading to simpler and more seamless designs with higher ... Voir le document complet

17

A formal approach to AADL model-based software engineering

A formal approach to AADL model-based software engineering

... AADL model-based software engineering Hana Mkaouar 1 · Bechir Zalila 1 · Jérôme Hugues 2 · Mohamed Jmaiel 1,3 Abstract Formal methods have become a recommended practice in ... Voir le document complet

30

Model based code generation for distributed embedded systems

Model based code generation for distributed embedded systems

... Embedded Software 1. INTRODUCTION Embedded systems in ground vehicles are becoming increasingly complex in the functionality they ...trend in development of complex embedded systems is ... Voir le document complet

10

Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering

Assessment of the SEMCO Model-Based Repository Approach for Software System Engineering

... them in the repository. System designers can then reuse existing patterns from the repository through identification and tailoring mechanisms, leading to simpler and more seamless designs with higher ... Voir le document complet

16

Model-driven engineering of mediation information system for enterprise interoperability

Model-driven engineering of mediation information system for enterprise interoperability

... is based on existing ISs (from involved organisa- tions) and on a MIS providing interoperability to the ...is model driven and uses several model transformations from business layer to technical ... Voir le document complet

23

A few elements in software development engineering education

A few elements in software development engineering education

... the software engineering by immersion paradigm as an alternative to other education ...management system alongside methods and tools associated with present n-tier architecture - but under ... Voir le document complet

5

Addressing deep uncertainty in space system development through model-based adaptive design

Addressing deep uncertainty in space system development through model-based adaptive design

... specified in the JPL Exo-S final report is a simple, thruster based ...thruster system for formation flying and so no reaction wheels are ...discussed in the propulsion subsystem ... Voir le document complet

202

Model-based development of modular complex systems for accomplishing system integration for industry 4.0

Model-based development of modular complex systems for accomplishing system integration for industry 4.0

... models for moving EV3 robot using Papyrus fUML engine − Verified the models for correctness  Executed the same models to control the robot in physical world (by connecting model execution ... Voir le document complet

2

Collaborative Networked Organizations as System of Systems: A Model-Based Engineering Approach

Collaborative Networked Organizations as System of Systems: A Model-Based Engineering Approach

... without engineering approach such as proposed for SoS and named ...debated in the ...a model- based approach. A model helps to address new requirements, presents a better ... Voir le document complet

9

Leveraging model-based product lines for systems engineering

Leveraging model-based product lines for systems engineering

... automations for exploring a variation space. We implement source code trans- formations, based on the Common Variability Language, that add, remove, substitute any kind of element of a Java ... Voir le document complet

134

A Systems Engineering-based semantic model to support “Product-Service System” life cycle

A Systems Engineering-based semantic model to support “Product-Service System” life cycle

... A model is an abstract and simplified representation of the real ...given system according to a specific perspective, which is connected to his problem of interest (Belkadi et ...studied system ... Voir le document complet

183

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts

Toward Model Synchronization Between Safety Analysis and System Architecture Design in Industrial Contexts

... from system architecture design to safety ...relations in order to ensure global consistency. In [21] a framework to implement synchronization links between model elements is ... Voir le document complet

16

Research Questions for Validation and Verification in the Context of Model-Based Engineering

Research Questions for Validation and Verification in the Context of Model-Based Engineering

... employed for modeling wrt functionality, coverage, scalability, expressive- ness, executing system ...(i.e., for models at runtime)? Which criteria are ap- propriate for comparison? Can the ... Voir le document complet

11

Show all 10000 documents...