scholarly journals A Model-Driven Approach for Hybrid Power Estimation in Embedded Systems Design

2011 ◽  
Vol 2011 (1) ◽  
pp. 569031 ◽  
Author(s):  
Chiraz Trabelsi ◽  
Rabie Ben Atitallah ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser ◽  
Abderrazek Jemai
Keyword(s):  
Embedded Systems ◽  
Systems Design ◽  
Power Estimation ◽  
Model Driven ◽  
Hybrid Power ◽  
Model Driven Approach

Educational Challenge of Health Information Systems’ Interoperability

2007 ◽  
Vol 46 (01) ◽  
pp. 52-56 ◽  
Author(s):  
B. G. M. E. Blobel
Keyword(s):  
Information Systems ◽  
Systems Design ◽  
Formal Modeling ◽  
Close Collaboration ◽  
Context Sensitive ◽  
Model Driven ◽  
Educational Challenge ◽  
Service Oriented ◽  
Model Driven Approach ◽  
Model Interchange

Summary Objectives: As health care develops from an organization-centered via service-centered (disease management) towards a person-centered system (favored homecare, patient monitoring, body area networks), information systems involved have to be semantically interoperable, process-related, decision-supportive, context-sensitive, user-oriented, and trustworthy. Methods: The aforementioned paradigm shift requires highly flexible solutions based on knowledge concepts, provided by a service-oriented and model-driven approach. Results: Information systems’ design, implementation and maintenance have to be realized based on formal grammar. This is true for all considered aspects and views of the system and its components, using metalanguages and reflecting all domains touched. Conclusions: For meeting the challenge, involvement of, and close collaboration between, experts from different domains as well as knowledge and tooling regarding formal modeling and model interchange are required.

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.

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.

scholarly journals Development of reconfigurable distributed embedded systems with a model-driven approach

2013 ◽  
Vol 27 (6) ◽  
pp. 1391-1411 ◽  
Author(s):  
Fatma Krichen ◽  
Brahim Hamid ◽  
Bechir Zalila ◽  
Mohamed Jmaiel ◽  
Bernard Coulette
Keyword(s):  
Embedded Systems ◽  
Distributed Embedded Systems ◽  
Model Driven ◽  
Model Driven Approach
Sign in / Sign up

Export Citation Format

Share Document