Model Driven Engineering for Distributed Real-Time Embedded Systems

Table of contents

1. Cover Page
2. Title Page
3. Copyright
4. Contents
5. INTRODUCTION
6. Chapter 1: Model Engineering: From Principles to Platforms
   1. Introduction
   2. Definitions and concerns
   3. AMMA: a model engineering platform
   4. Conclusion
   5. Acknowledgments
   6. Bibliography
7. Chapter 2: Model-Driven Development of Distributed Real-time and Embedded Systems
   1. 2.1. Introduction
   2. 2.2. Overview of Video Distribution Case Study
   3. 2.3. Applying CoSMIC to Address Video Distribution Needs
   4. 2.4. Related Work
   5. 2.5. Concluding Remarks
   6. 2.6. References
8. Chapter 3: Model Transformation
   1. 3.1. Why should we transform models?
   2. 3.2. Role of model transformation in the software lifecycle
   3. 3.3. Basics of model transformation
   4. 3.4. Classification of model transformations
   5. 3.5. Conclusion
   6. 3.6. References
9. Chapter 4: Modeling Dependability Features
   1. 4.1. Introduction
   2. 4.2. Separating Crosscutting Features
   3. 4.3. Aspect Models
   4. 4.4. Composing Models
   5. 4.5. Using the AOM Approach to Separate Middleware-Specific Features
   6. 4.6. Related Work
   7. 4.7. Conclusion
   8. 4.8. References
10. Chapter 5: Model-Driven Systems Engineering: SysML & the MDSysE Approach at THALES
    1. 5.1. Introduction
    2. 5.2. The SysML Profile for Systems Engineering
    3. 5.3. Building a Model-Driven Systems Engineering methodology: the MDSysE approach
    4. 5.4. Tooling model-driven systems engineering: the MDSysE Tools
    5. 5.5. Perspectives
    6. 5.6. References
11. Chapter 6: Maturity of Model Driven Engineering for Embedded Control Systems from a Mechatronic Perspective
    1. Introduction
    2. Evolution of model-driven engineering practice for ECS
    3. A contextual perspective to MDE
    4. A definition of Model-Driven Engineering for ECS
    5. A model of MDE maturity
    6. MDE maturity in practice
    7. Discussion
    8. Conclusion
    9. Acknowledgments
    10. Dictionary
    11. Index / Keywords
    12. References
12. Chapter 7: Real-Time Components & Contracts
    1. 7.1. Introduction
    2. 7.2. Contract Aware Components: The four levels of Contracts
    3. 7.3. Implementing contract-aware components
    4. 7.4. Predicting extra-functional properties of an assembly
    5. 7.5. Conclusion
    6. 7.6. References
13. Chapter 8: The Think Component-Based Operating System
    1. 8.1. Introduction
    2. 8.2. The Fractal Component Model
    3. 8.3. The Think Framework
    4. 8.4. Think experiments
    5. 8.5. Analysis
    6. 8.6. Conclusion
    7. 8.7. Acknowledgments and availability
    8. 8.8. Bibliography / References
14. Chapter 9: Model-Driven Schedulability Analysis
    1. 9.1. Introduction
    2. 9.2. Real-time scheduling
    3. 9.3. The MDD process
    4. 9.4. Conclusions
    5. 9.5. References
15. Chapter 10: Performance Analysis based on the UML SPT Profile
    1. 10.1. Introduction
    2. 10.2. Performance Models
    3. 10.3. UML models with performance annotations
    4. 10.4. UML to LQN Transformation
    5. 10.5. Performance Model Validation
    6. 10.6. Conclusions
    7. 10.7. Acknowledgments
    8. 10.8. References
16. Chapter 11: Code Generation for Embedded Systems
    1. 11.1. Introduction
    2. 11.2. Code Generation
    3. 11.3. Rialto as an Intermediate Language for Code Generation
    4. 11.4. Rialto in Code Generation
    5. 11.5. Conclusions
    6. 11.6. References
17. Chapter 12: Model Driven Architecture for Intensive Embedded Systems
    1. 12.1. Introduction
    2. 12.2. MDA and co-design
    3. 12.3. The Transformation Engine: ModTransf
    4. 12.4. Models and Metamodels
    5. 12.5. Application of MDA transformations
    6. 12.6. Conclusion
    7. 12.7. References
18. Chapter 13: Spidergon: A NoC Modeling Paradigm
    1. 13.1. Introduction
    2. 13.2. The Spidergon NoC Architecture
    3. 13.3. Spidergon NoC Modeling
    4. 13.4. Design Space Exploration Using NoC Metamodels
    5. 13.5. Conclusion and Extensions
    6. 13.6. References
    7. Acknowledgments