Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams
Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design: Chip on the Dunes
Design space abstraction and metamodeling for embedded systems design space exploration
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
UML design for dynamically reconfigurable multiprocessor embedded systems
Proceedings of the Conference on Design, Automation and Test in Europe
Extending IP-XACT to support an MDE based approach for SoC design
Proceedings of the Conference on Design, Automation and Test in Europe
Seamless model-driven development put into practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
A Model-Driven Design Framework for Massively Parallel Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)
A model-driven engineering framework for embedded systems design
Innovations in Systems and Software Engineering
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft
ACM SIGBED Review - Special Issue on the 5th Workshop on Adaptive and Reconfigurable Embedded Systems
| Hi-index | 0.00 |
MDE-based approaches have been proposed as a solution to cope with the inefficiency of current design methods. In this context, our work defines meta-models for application, capturing functionality by means of processes communicating by ports and channels; platform, indicating available hardware/software resources; mapping from application into platform; and implementation, oriented to code generation and hardware synthesis. Differently from other approaches, our mapping meta-model does not specify only the allocation of application processes into fixed hardware components. Instead, it delimits a design space, determining all possible associations between processes and platform components. Transformations between meta-models implement the mapping, allowing the evaluation of possible implementations during a design space exploration process. This exploration is based on accurate estimates of the effects of each transformation, without requiring costly hardware synthesis and code generation steps. These are performed only for the final implementation, after all design decisions have been taken. We implemented our approach using the Eclipse Modeling Framework (EMF) features, where our meta-models are captured by Ecore models and the transformation engine uses the MDDi-QVT plug-in. The application on a real case study validates the approach.