You are previewing Model Driven Engineering for Distributed Real-Time Embedded Systems.
O'Reilly logo
Model Driven Engineering for Distributed Real-Time Embedded Systems

Book Description

Model-based development methods, and supporting technologies, can provide the techniques and tools needed to address the dilemma between reducing system development costs and time, and developing increasingly complex systems. This book provides the information needed to understand and apply model-drive engineering (MDE) and model-drive architecture (MDA) approaches to the development of embedded systems. Chapters, written by experts from academia and industry, cover topics relating to MDE practices and methods, as well as emerging MDE technologies. Much of the writing is based on the presentations given at the Summer School "MDE for Embedded Systems" held at Brest, France, in September 2004.

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