Model Driven Engineering for Distributed Real-Time Embedded Systems
Herausgeber: Gerard, Sebastien; Champeau, Jöel; Babau, Jean-Philippe
Model Driven Engineering for Distributed Real-Time Embedded Systems
Herausgeber: Gerard, Sebastien; Champeau, Jöel; Babau, Jean-Philippe
- Gebundenes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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…mehr
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.
Produktdetails
- Produktdetails
- Verlag: Wiley
- Seitenzahl: 290
- Erscheinungstermin: 1. April 2006
- Englisch
- Abmessung: 240mm x 161mm x 20mm
- Gewicht: 604g
- ISBN-13: 9781905209323
- ISBN-10: 1905209320
- Artikelnr.: 21574160
- Herstellerkennzeichnung
- Libri GmbH
- Europaallee 1
- 36244 Bad Hersfeld
- gpsr@libri.de
- Verlag: Wiley
- Seitenzahl: 290
- Erscheinungstermin: 1. April 2006
- Englisch
- Abmessung: 240mm x 161mm x 20mm
- Gewicht: 604g
- ISBN-13: 9781905209323
- ISBN-10: 1905209320
- Artikelnr.: 21574160
- Herstellerkennzeichnung
- Libri GmbH
- Europaallee 1
- 36244 Bad Hersfeld
- gpsr@libri.de
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 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
10.1. Introduction
10.2. Performance Models
10.3. UML models with performance annotations
10.4. UML to LQN Transformation
10.5. Performance Model Validation
10.6. Conclusions
10.7. Acknowledgments
10.8. References
Chapter 11: Code Generation for Embedded Systems
11.1. Introduction
11.2. Code Generation
11.3. Rialto as an Intermediate Language for Code Generation
11.4. Rialto in Code Generation
11.5. Conclusions
11.6. References
Chapter 12: Model Driven Architecture for Intensive Embedded Systems
12.1. Introduction
12.2. MDA and co-design
12.3. The Transformation Engine: ModTransf
12.4. Models and Metamodels
12.5. Application of MDA transformations
12.6. Conclusion
12.7. References
Chapter 13: Spidergon: A NoC Modeling Paradigm
13.1. Introduction
13.2. The Spidergon NoC Architecture
13.3. Spidergon NoC Modeling
13.4. Design Space Exploration Using NoC Metamodels
13.5. Conclusion and Extensions
13.6. References
Acknowledgments
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
10.1. Introduction
10.2. Performance Models
10.3. UML models with performance annotations
10.4. UML to LQN Transformation
10.5. Performance Model Validation
10.6. Conclusions
10.7. Acknowledgments
10.8. References
Chapter 11: Code Generation for Embedded Systems
11.1. Introduction
11.2. Code Generation
11.3. Rialto as an Intermediate Language for Code Generation
11.4. Rialto in Code Generation
11.5. Conclusions
11.6. References
Chapter 12: Model Driven Architecture for Intensive Embedded Systems
12.1. Introduction
12.2. MDA and co-design
12.3. The Transformation Engine: ModTransf
12.4. Models and Metamodels
12.5. Application of MDA transformations
12.6. Conclusion
12.7. References
Chapter 13: Spidergon: A NoC Modeling Paradigm
13.1. Introduction
13.2. The Spidergon NoC Architecture
13.3. Spidergon NoC Modeling
13.4. Design Space Exploration Using NoC Metamodels
13.5. Conclusion and Extensions
13.6. References
Acknowledgments
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
10.1. Introduction
10.2. Performance Models
10.3. UML models with performance annotations
10.4. UML to LQN Transformation
10.5. Performance Model Validation
10.6. Conclusions
10.7. Acknowledgments
10.8. References
Chapter 11: Code Generation for Embedded Systems
11.1. Introduction
11.2. Code Generation
11.3. Rialto as an Intermediate Language for Code Generation
11.4. Rialto in Code Generation
11.5. Conclusions
11.6. References
Chapter 12: Model Driven Architecture for Intensive Embedded Systems
12.1. Introduction
12.2. MDA and co-design
12.3. The Transformation Engine: ModTransf
12.4. Models and Metamodels
12.5. Application of MDA transformations
12.6. Conclusion
12.7. References
Chapter 13: Spidergon: A NoC Modeling Paradigm
13.1. Introduction
13.2. The Spidergon NoC Architecture
13.3. Spidergon NoC Modeling
13.4. Design Space Exploration Using NoC Metamodels
13.5. Conclusion and Extensions
13.6. References
Acknowledgments
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
10.1. Introduction
10.2. Performance Models
10.3. UML models with performance annotations
10.4. UML to LQN Transformation
10.5. Performance Model Validation
10.6. Conclusions
10.7. Acknowledgments
10.8. References
Chapter 11: Code Generation for Embedded Systems
11.1. Introduction
11.2. Code Generation
11.3. Rialto as an Intermediate Language for Code Generation
11.4. Rialto in Code Generation
11.5. Conclusions
11.6. References
Chapter 12: Model Driven Architecture for Intensive Embedded Systems
12.1. Introduction
12.2. MDA and co-design
12.3. The Transformation Engine: ModTransf
12.4. Models and Metamodels
12.5. Application of MDA transformations
12.6. Conclusion
12.7. References
Chapter 13: Spidergon: A NoC Modeling Paradigm
13.1. Introduction
13.2. The Spidergon NoC Architecture
13.3. Spidergon NoC Modeling
13.4. Design Space Exploration Using NoC Metamodels
13.5. Conclusion and Extensions
13.6. References
Acknowledgments