A Model-Driven Engineering Framework for Fault Tolerance in Dependable Embedded Systems Design

2012 ◽  
Author(s):  
Adel Ziani ◽  
Brahim Hamid ◽  
Jean-Michel Bruel
Keyword(s):  
Fault Tolerance ◽  
Embedded Systems ◽  
Systems Design ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Dependable Embedded Systems

A model-driven engineering framework for embedded systems design

2011 ◽  
Vol 8 (1) ◽  
pp. 19-33 ◽  
Author(s):  
Francisco Assis Moreira do Nascimento ◽  
Marcio F. S. Oliveira ◽  
Flávio Rech Wagner
Keyword(s):  
Embedded Systems ◽  
Systems Design ◽  
Model Driven Engineering ◽  
Model Driven

Quality in Model Driven Engineering

2009 ◽  
pp. 37-56 ◽  
Author(s):  
Teade Punter ◽  
Jeroen Voeten
Keyword(s):  
Quality Assurance ◽  
Embedded Systems ◽  
Conceptual Framework ◽  
Systems Design ◽  
Design Flow ◽  
Model Driven Engineering ◽  
New Approach ◽  
Model Driven ◽  
The Difference ◽  
Near Future

This chapter argues that embedded systems design faces several challenges of which late integration and the difference in development productivity between disciplines are major ones. Model driven engineering (MDE) looks a promising approach to address these challenges. However, MDE is a new approach which has to be defined and implemented in close interaction by academia and industry the near future. We therefore provide a conceptual framework to understand the possibilities and the flaws in quality assurance in the MDE design flow.

MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models

2013 ◽  
pp. 112-135 ◽  
Author(s):  
Anikó Costa ◽  
Paulo E. S. Barbosa ◽  
Filipe Moutinho ◽  
Fernando Pereira ◽  
Franklin Ramalho ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Systems Design ◽  
Model Decomposition ◽  
Model Driven ◽  
Distributed Models ◽  
Model Based ◽  
Splitting Operation ◽  
Distributed Execution ◽  
Model Partitioning

Model-based development for embedded system design has been used to accommodate the increase in system’s complexity. Several modeling formalisms proved to be well matched for usage within this area. The goal of this chapter is to present a model-based development methodology for embedded systems design. One of the main aims of this methodology is to contribute for usage of Petri nets as a system specification language within model-based development of embedded systems integrating MDA (Model-Driven Architecture) proposals as a reference for the development flow. Distributed execution of the initial developed platform-independent models is achieved through model partitioning into platform-specific sub-modules. System model decomposition is obtained through a net splitting operation. Two types of implementation platforms are considered: compliant and non-compliant with zero time delay for communication between modules (in other words, compliant or not with synchronous paradigm). Using a model-checking framework, properties associated to the execution of the distributed models in both types of platforms are compared with the execution of the initial model.

Aspect-Oriented Model-Driven Engineering for Embedded Systems Applied to Automation Systems

2013 ◽  
Vol 9 (4) ◽  
pp. 2373-2386 ◽  
Author(s):  
Marco A. Wehrmeister ◽  
Carlos Eduardo Pereira ◽  
Franz J. Rammig
Keyword(s):  
Embedded Systems ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Automation Systems

An Integrated Concept for the Model-Driven Engineering of Distributed Automation Architectures on Embedded Systems

2013 ◽  
Vol 46 (7) ◽  
pp. 222-227 ◽  
Author(s):  
Lisa Ollinger ◽  
Marco A. Wehrmeister ◽  
Carlos E. Pereira ◽  
Detlef Zühlke
Keyword(s):  
Embedded Systems ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Integrated Concept
Sign in / Sign up

Export Citation Format

Share Document