Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
An MDE methodology for the development of high-integrity real-time systems
Proceedings of the Conference on Design, Automation and Test in Europe
Modeling languages for real-time and embedded systems: requirements and standards-based solutions
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Multi-view modeling to support embedded systems engineering in SysML
Graph transformations and model-driven engineering
Temporal logic model checking in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
| Hi-index | 0.00 |
The adoption of model-driven methods for software development is rapidly gaining momentum, stimulated greatly by the emergence of new modeling language standards and corresponding tools. The ability of models to highlight the important aspects of a system while abstracting away the irrelevant bits provides a very effective means of coping with the often overwhelming complexity of modern software systems. However, model-driven development (MDD) is still deemed inappropriate for real-time and embedded software by many practitioners even though the complexity of their systems often exceeds that encountered in other domains.