Model Driven Engineering for Distributed Real-Time Embedded Systems

Inbunden, Engelska, 2005

Av Gerard, Babau J-P, Sebastien Gerard, Jean-Philippe Babau, Jöel Champeau

2 429 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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. The Model Driven Architecture (MDA) initiative of the Object Management Group (OMG) is concerned with the development of standards and technologies that enable and support model-based system development. The aim of this book is to provide the information needed to understand and apply MDE (including 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.

Produktinformation

Utgivningsdatum2005-09-14
Mått163 x 238 x 25 mm
Vikt573 g
FormatInbunden
SpråkEngelska
Antal sidor290
FörlagISTE Ltd and John Wiley & Sons Inc
ISBN9781905209323

Tillhör följande kategorier

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