Model Driven Engineering For Distributed

Informationen zum Autor Sebastien Gerard is associated with the INSA of Lyon, France. Klappentext 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. Zusammenfassung 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. Inhaltsverzeichnis INTRODUCTION Chapter 1: Model Engineering: From Principles to Platforms Introduction Definitions and concerns AMMA: a model engineering platform Conclusion Acknowledgments Bibliography Chapter 2: Model-Driven Development of Distributed Real-time and Embedded Systems 2.1. Introduction 2.2. Overview of Video Distribution Case Study 2.3. Applying CoSMIC to Address Video Distribution Needs 2.4. Related Work 2.5. Concluding Remarks 2.6. References Chapter 3: Model Transformation 3.1. Why should we transform models? 3.2. Role of model transformation in the software lifecycle 3.3. Basics of model transformation 3.4. Classification of model transformations 3.5. Conclusion 3.6. References Chapter 4: Modeling Dependability Features 4.1. Introduction 4.2. Separating Crosscutting Features 4.3. Aspect Models 4.4. Composing Models 4.5. Using the AOM Approach to Separate Middleware-Specific Features 4.6. Related Work 4.7. Conclusion 4.8. References Chapter 5: Model-Driven Systems Engineering: SysML & the MDSysE Approach at THALES 5.1. Introduction 5.2. The SysML Profile for Systems Engineering 5.3. Building a Model-Driven Systems Engineering methodology: the MDSysE approach 5.4. Tooling model-driven systems engineering: the MDSysE Tools 5.5. Perspectives 5.6. References Chapter 6: Maturity of Model Driven Engineering for Embedded Control Systems from a Mechatronic Perspective Introduction Evolution of model-driven engineering practice for ECS A contextual perspective to MDE A definition of Model-Driven Engineering for ECS A model of MDE maturity MDE maturity in practice Discussion Conclusion Acknowledgments Dictionary Index / Keywords References Chapter 7: Real-Time Components & Contracts 7.1. Introduction 7.2. Contract Aware Components: The four levels of Contracts 7.3. Implementing contract-aware components 7.4. Predicting extra-functional properties of an assembly 7.5. Conclusion 7.6. References Chapter 8: The Think Component-Based Operating System 8.1. Introduction 8.2. The Fractal Component Model 8.3. The Think Framework 8.4. Think experiments 8.5. Analysis 8.6. Conclusion 8.7. Acknowledgments and availability 8.8. Bibliography / References Chapter 9: Model-Driven Schedulability Analysis 9.1. Introduction 9.2. Real-time scheduling 9.3. The MDD process 9.4. Conclusions 9.5. References Chapter 10: Performance Analysis based on the UML SPT Profile