Model Driven Engineering for Distributed Real-Time Embedded Systems

Sébastien Gérard is a researcher at CEA LIST ("Comissariat à l'Energie Atomique, Laboratoire d'intégration des Systèmes et des Technologies"). Here he leads the group research on model-based software engineering for RTE systems. He is also strongly involved at OMG with the standardization of the UML2 and all its related extensions for real-time and embedded domains, specially the UML profile called MARTE (Modeling and Analysis of Real-Time and Embedded Systems).Jean-Philippe Babau is Associate Professor at the INSA of Lyon, France, where he teaches industrial computing, real-time operating systems and real-time and embedded systems development.Joël Champeau is a researcher at ENSIETA, France, where he is involved in the modeling domain for embedded systems.

• INTRODUCTION Chapter 1: Model Engineering: From Principles to PlatformsIntroductionDefinitions and concernsAMMA: a model engineering platformConclusionAcknowledgmentsBibliographyChapter 2: Model-Driven Development of Distributed Real-time and Embedded Systems2.1. Introduction2.2. Overview of Video Distribution Case Study2.3. Applying CoSMIC to Address Video Distribution Needs2.4. Related Work2.5. Concluding Remarks2.6. ReferencesChapter 3: Model Transformation3.1. Why should we transform models?3.2. Role of model transformation in the software lifecycle3.3. Basics of model transformation3.4. Classification of model transformations3.5. Conclusion3.6. ReferencesChapter 4: Modeling Dependability Features4.1. Introduction4.2. Separating Crosscutting Features4.3. Aspect Models4.4. Composing Models4.5. Using the AOM Approach to Separate Middleware-Specific Features4.6. Related Work4.7. Conclusion4.8. ReferencesChapter 5: Model-Driven Systems Engineering: SysML & the MDSysE Approach at THALES5.1. Introduction5.2. The SysML Profile for Systems Engineering5.3. Building a Model-Driven Systems Engineering methodology: the MDSysE approach5.4. Tooling model-driven systems engineering: the MDSysE Tools5.5. Perspectives5.6. ReferencesChapter 6: Maturity of Model Driven Engineering for Embedded Control Systems from a Mechatronic PerspectiveIntroductionEvolution of model-driven engineering practice for ECSA contextual perspective to MDEA definition of Model-Driven Engineering for ECSA model of MDE maturityMDE maturity in practiceDiscussionConclusionAcknowledgmentsDictionaryIndex / KeywordsReferencesChapter 7: Real-Time Components & Contracts7.1. Introduction7.2. Contract Aware Components: The four levels of Contracts7.3. Implementing contract-aware components7.4. Predicting extra-functional properties of an assembly7.5. Conclusion7.6. ReferencesChapter 8: The Think Component-Based Operating System8.1. Introduction8.2. The Fractal Component Model8.3. The Think Framework8.4. Think experiments8.5. Analysis8.6. Conclusion8.7. Acknowledgments and availability8.8. Bibliography / ReferencesChapter 9: Model-Driven Schedulability Analysis9.1. Introduction9.2. Real-time scheduling9.3. The MDD process9.4. Conclusions9.5. ReferencesChapter 10: Performance Analysis based on the UML SPT Profile10.1. Introduction10.2. Performance Models10.3. UML models with performance annotations10.4. UML to LQN Transformation10.5. Performance Model Validation10.6. Conclusions10.7. Acknowledgments10.8. ReferencesChapter 11: Code Generation for Embedded Systems11.1. Introduction11.2. Code Generation11.3. Rialto as an Intermediate Language for Code Generation11.4. Rialto in Code Generation11.5. Conclusions11.6. ReferencesChapter 12: Model Driven Architecture for Intensive Embedded Systems12.1. Introduction12.2. MDA and co-design12.3. The Transformation Engine: ModTransf12.4. Models and Metamodels12.5. Application of MDA transformations12.6. Conclusion12.7. ReferencesChapter 13: Spidergon: A NoC Modeling Paradigm13.1. Introduction13.2. The Spidergon NoC Architecture13.3. Spidergon NoC Modeling13.4. Design Space Exploration Using NoC Metamodels13.5. Conclusion and Extensions13.6. ReferencesAcknowledgments