From Mdd Concepts to Experiments and Illustrations

by Babau, Jean-Philippe; Champeau, Jö; el; Gé; rard , Sé; bastien

• ISBN13: 9781905209590
• ISBN10: 1905209592
• Edition: 1st
• Format: Hardcover
• Copyright: 2006-09-14
• Publisher: Wiley-ISTE

Summary

With contributions from academic and professional experts on a range of topics related to Model Driven Development (MDD) practices, methods, and emerging technologies, this guide introduces general concepts about modeling and how to implement model transformations, then provides an overview of the MARTE profile. Coverage is next given to the most common aspects of MDD for DRES: structuring architectures using components, designing hardware architecture, and evaluating and validating through tests and performance analysis. Finally, guidance is given as to how and why MDD should be used by describing an industrial application of MDD concepts.

Author Biography

Jean-Philippe Babau is an assistant professor in computer science at Institut national des sciences appliquées de Lyon, France. Joël Champeau is a teacher-researcher in the New Technologies Development Laboratory at Ecole Nationale Supérieure des Ingénieurs in Brest, France. Sébastien Gérard is a researcher at the Lab of Applied Research on Software-Intensive Technologies in the French Atomic Energy Commission in the LSP Group (Software for Process Safety).

Table of Contents

Introduction	p. 11
On Metamodels and Language Engineering	p. 13
Introduction	p. 13
Modeling abstract syntax	p. 14
Modeling operational semantics	p. 16
Modeling concrete syntax	p. 18
Related works	p. 21
Conclusion	p. 21
References	p. 22
Using Directives to Implement Model Transformations	p. 25
Introduction	p. 25
Model Transformation Using Embedded Directives	p. 26
Transformations directives	p. 27
The source and rename Directives	p. 27
The redefine Directive	p. 29
The new and exclude Directives	p. 30
Transformation schemas	p. 31
Class Model transformation - Illustration Example	p. 32
Server Distribution Aspect Class Model	p. 32
COBRA Distribution Class Diagram Transformation Schema	p. 33
Processing Transformation Directives	p. 35
Discussion and Conclusion	p. 37
Model Transformation Using QVT	p. 37
References	p. 41
Rationale of the UML profile for Marte	p. 43
Introduction	p. 43
Outlines of Marte	p. 45
Marte and other OMG standards related RT/E	p. 45
A foundation for model driven techniques	p. 46
How should the specification be used?	p. 47
Profile architecture	p. 51
References	p. 52
From UML to Performance Analysis Models by Abstraction-raising Transformation	p. 53
Introduction	p. 53
Conceptual Approach for Abstracting-raising Transformation	p. 55
Two-step abstraction-raising transformation	p. 57
Description of the Source Model	p. 57
Description of the Target Model	p. 58
Mapping Approach	p. 59
Two-step abstraction-raising transformation	p. 59
Proposed Approach	p. 59
Graph Grammar used for Abstraction Raising	p. 61
Mapping from the Extended Source Model to LQN	p. 63
Application of the proposed transformation	p. 64
Parsing	p. 64
Generating the LQN relational mapping	p. 66
Conclusion	p. 68
References	p. 69
Component-Based Software Engineering for Embedded Systems	p. 71
Embedded Systems	p. 71
Specific requirement and aspects of Embedded Systems	p. 72
Component-based Basic Concepts for Embedded Systems	p. 74
Specific Demands on Component-based Software Engineering	p. 75
Component Interface	p. 76
Component deployment and composition	p. 76
State of the CBSE practice and experience for Embedded Systems	p. 77
Automotive Industry	p. 78
Industrial Automation	p. 81
Consumer Electronics	p. 82
Other domains	p. 84
Work on standardization	p. 84
The Unified Modelling Language (UML)	p. 84
Real-time CORBA	p. 86
Programmable Logic Controllers: the IEC 61131-3 standard	p. 86
Other standards and de-facto standards	p. 87
The needs and priorities in research	p. 88
References	p. 89
Model Driven Engineering for System-on-Chip Design	p. 91
Introduction	p. 91
SoC Design Challenges and Model Driven Engineering	p. 92
Cost	p. 92
Silicon complexity	p. 93
Productivity	p. 93
Model Driven Engineering Assets	p. 95
UML Profiles for SoC Design	p. 95
Embedded System Modeling and Analysis	p. 95
Electronic System Level Modeling	p. 96
MDE Approach to SoC Co-Modeling	p. 97
Multiple Models in SoC	p. 98
Metamodels for the "Y" Design	p. 98
From High Level Models	p. 99
To Technology Models	p. 100
Gaspard2 Development Environment	p. 102
Simplify the work with good tools	p. 103
Transformation Engine: ModTransf	p. 103
From UML2 Modelers to the Gaspard2 Environment	p. 104
Model Refactoring and Deployment Metmodel	p. 105
Example of Concept Transformation	p. 106
Evolution of our environment	p. 107
Conclusion	p. 107
References	p. 108
Schedulability Analysis and MDD	p. 111
Introduction	p. 111
Related Work	p. 113
Global Approach	p. 114
Application Specification (1st step)	p. 114
Platform Specification (2nd step)	p. 116
Application - Platform Mapping (3rd step)	p. 116
Analysis results (4th step)	p. 117
UML Modeling	p. 118
Attributes identification	p. 118
Analysis details	p. 120
Real time analysis tool (RTDT)	p. 121
Real time scheduling strategy	p. 121
Design space exploration for HW/SW partitioning	p. 122
UMTS FDD Case Study	p. 126
Conclusion	p. 128
Acknowledgements	p. 129
References	p. 129
Model Driven Testing of Time Sensitive Distributed Systems	p. 131
Model Driven Testing	p. 131
Asynchronous Communication in Distributed Systems	p. 133
The Alternative Bit Protocol	p. 135
Informal Description of the ABP Components	p. 135
Stream-Based Specification	p. 137
A Mapping to Haskell	p. 139
Executing the Model	p. 141
Strategies for Testing Distributed, Asynchronously Communicating Systems	p. 141
Rules for Testing of Distributed Functionally Specified Models	p. 142
Implementing Tests in Haskell	p. 144
Test Infrastructure	p. 144
Tests for the ABP Components	p. 145
Discussion of Results	p. 146
References	p. 147
Model Management for Formal Validation	p. 149
Introduction	p. 149
System modeling framework	p. 151
Separation of concerns	p. 151
Domain modeling	p. 151
Model Management	p. 152
MDD Implementation	p. 153
System modeling framework conclusion	p. 161
Building models for formal verification	p. 162
Functionalities of the environment under development	p. 163
Observer and context-based model checking	p. 164
Verification contexts	p. 164
Model transformation techniques	p. 165
A language to specific contexts	p. 165
Translation of CxUCC to observers and concrete contexts	p. 168
Translation of CxUCC to an a-context and an observer set	p. 168
IF-2 implementation	p. 171
Conclusion and future work	p. 172
References	p. 173
The Design of Space Systems	p. 175
Introduction	p. 175
Context	p. 175
Outline	p. 176
Notice	p. 176
Space Systems	p. 177
Applications	p. 177
Two Views on the Architecture of Space Systems	p. 177
Design	p. 182
Process	p. 182
By the way, what is so special about Space Systems?	p. 186
On-Board Software	p. 188
Modelling	p. 190
Current Possibilities	p. 190
Trends and Projects	p. 190
Conclusion	p. 192
References	p. 193
Topcased - An Open Source Development Environment for Embbeded Systems	p. 195
Introduction	p. 195
Requirements and Topcased Architecture	p. 198
Model Driven Engineering and meta-modeling	p. 200
Generating model editors	p. 201
Acknowledgment	p. 204
References	p. 205
Glossary	p. 206
Facing Industrial Challenges: A Return on an Experiment on Model-driven Engineering	p. 209
Introduction	p. 209
A quick overview of our understanding of MDE	p. 211
Expected Benefits of Model-driven Engineering	p. 212
Applying MDE Concepts in an industrial Context	p. 214
Return of Experiment and Findings on MDE Use	p. 218
Conclusion: so what about MDE?	p. 222
Index of Authors	p. 223
Table of Contents provided by Ingram. All Rights Reserved.