Model Driven Engineering for Distributed Real-time Embedded Systems,9781905209323

Model Driven Engineering for Distributed Real-time Embedded Systems

by ; ; ;
Edition: 1st
ISBN13: 9781905209323
ISBN10: 1905209320
Format: Hardcover
Pub. Date: 2005-09-23
Publisher(s): Wiley-ISTE
  • Free Shipping Icon

    This Item Qualifies for Free Shipping!*

    *Excludes marketplace orders.

List Price: $207.14

Buy New

Arriving Soon. Will ship when available.
$197.28
Add to Cart

Rent Textbook

Select for Price
Add to Cart
There was a problem. Please try again later.

Used Textbook

We're Sorry
Sold Out

eTextbook

We're Sorry
Not Available

Buy from our Marketplace starting at $174.73

How Marketplace Works:

  • This item is offered by an independent seller and not shipped from our warehouse
  • Item details like edition and cover design may differ from our description; see seller's comments before ordering.
  • Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
  • Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
  • Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.

Summary

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.

Author Biography

Sebastien Gerard is associated with the INSA of Lyon, France.

Table of Contents

Introduction 13(2)
Chapter 1. Model Engineering: From Principles to Platforms 15(16)
J. Bézevin, F. Jouault, D. Touzet
Chapter 2. Model-Driven Development of Distributed Real-time and Embedded Systems 31(30)
D.C. Schmidt, K. Balasubramanian, A.S. Krishna, E. Turkay, A. Gokhale
2.1. Introduction
32(6)
2.1.1. Emerging trends and challenges
32(1)
2.1.2. A partial solution: QoS-enabled component middleware
33(3)
2.1.3. Resolving key challenges of component-based DRE systems with model-driven development
36(2)
2.1.4. Chapter organization
38(1)
2.2. Overview of video distribution case study
38(3)
2.3. Applying CoSMIC to address video distribution needs
41(13)
2.3.1. Overview of CoSMIC and GME
41(3)
2.3.2. Applying CoSMIC to the packaging phase
44(3)
2.3.3. Applying CoSMIC to the configuration phase
47(3)
2.3.4. Applying CoSMIC to the planning phase
50(4)
2.4. Related work
54(1)
2.5. Concluding remarks
55(2)
2.6. References
57(4)
Chapter 3. Model Transformation 61(8)
P.-A. Muller
3.1. Why should we transform models 9
61(1)
3.2. Role of model transformation in the software lifecycle
62(1)
3.3. Basics of model transformation
63(2)
3.4. Classification of model transformations
65(2)
3.4.1. Model-to-text approaches
65(1)
3.4.2. Model-to-model approaches
66(1)
3.5. Conclusion
67(1)
3.6. References
67(2)
Chapter 4. Modeling Dependability Features 69(24)
R. France
4.1. Introduction
69(3)
4.2. Separating crosscutting features
72(4)
4.2.1. AOM terminology
72(1)
4.2.2. An overview of the AOM approach
73(3)
4.3. Aspects models
76(2)
4.4. Composing models
78(7)
4.5. Using the AOM approach to separate middleware-specific features
85(2)
4.6. Related work
87(1)
4.7. Conclusion
88(1)
4.8. References
88(5)
Chapter 5. Model-Driven Systems Engineering: SysML & the MDSySE Approach at THALES 93(18)
V. Normand, D. Exertier
5.1. Introduction
93(3)
5.1.1. Systems engineering practices at THALES
93(1)
5.1.2. Toward model-driven systems engineering
94(2)
5.2. The SysML profile for systems engineering
96(3)
5.2.1. SysML scope
96(1)
5.2.2. SysML technical contents
97(2)
5.3. Building a model-driven systems engineering methodology: the MDSysE approach
99(5)
5.3.1. Drivers for defining MDSysE
100(1)
5.3.2. Main features of the MDSysE methodology
100(1)
5.3.3. Highlight on the MDSysE model work products
101(3)
5.4. Tooling model-driven systems engineering: the MDSysE tools
104(3)
5.4.1. Main functions
105(1)
5.4.2. Extra-functional aspects
106(1)
5.4.3. MDSysE tools architecture
106(1)
5.5. Perspectives
107(1)
5.6. References
107(4)
Chapter 6. Maturity of Model-Driven Engineering for Embedded Control Systems from a Mechatronic Perspective 111(28)
M. Törnigren, O. Larses
Chapter 7. Real-Time Components & Contracts 139(20)
J.-M. Jézéquel
7.1. Introduction
139(2)
7.2. Contract aware components: the four level of contracts
141(8)
7.2.1. Level 1 - Syntactic interfaces
142(2)
7.2.2. Level 2 - Functional properties
144(1)
7.2.3. Level 3 - Synchronization properties
145(1)
7.2.4. Level 4 - Quality of service
146(3)
7.3. Implementing contract-aware components
149(3)
7.3.1. Testing extra functional behaviour
150(1)
7.3.2. Aspect weaving
151(1)
7.3.3. Limitations of extra-functional property testing
152(1)
7.4. Predicting extra-functional properties of an assembly
152(5)
7.4.1. Modeling a QoS-aware component with QoSCL
152(2)
7.4.2. Prediction of the GPS quality of service
154(3)
7.5. Conclusion
157(1)
7.6. References
158(1)
Chapter 8. The Think Components-Based Operating System 159(20)
J.-C. Tournier, J.-P. Fassino
8.1. Introduction
159(1)
8.2. The fractal component model
160(3)
8.3. The Think framework
163(5)
8.3.1. Interface description language
163(2)
8.3.2. Architecture description language
165(1)
8.3.3. Tools
166(1)
8.3.4. Implementation of operating system services
167(1)
8.4. Think experiments
168(6)
8.4.1. Illustrations
168(2)
8.4.2. Framework extensions
170(4)
8.5. Analysis
174(1)
8.6. Conclusion
175(1)
8.7. Acknowledgments and availability
175(1)
8.8. Bibliography/References
176(3)
Chapter 9. Model-Driven Schedulability Analysis 179(26)
S. Gérard, J.-P. Babau
9.1. Introduction
179(1)
9.2. Real-time scheduling
180(7)
9.2.1. Task modeling
180(1)
9.2.2. Scheduling techniques
181(2)
9.2.3. Validation
183(3)
9.2.4. Simulation and implementation
186(1)
9.3. The MDD process
187(10)
9.3.1 Introduction
187(1)
9.3.2. Real-time model-driven development
187(1)
9.3.3. Real-time models
188(2)
9.3.4. Mapping
190(4)
9.3.5. Execution semantics
194(2)
9.3.6. Formal development of real-time systems
196(1)
9.4. Conclusions
197(1)
9.5. References
198(7)
Chapter 10. Performance Analysis based on the UML SPT Profile 205(20)
D.C. Petriu
10.1. Introduction
205(2)
10.2. Performance models
207(4)
10.2.1. Layered queueing networks
209(2)
10.3. UML models with performance annotations
211(3)
10.4. UML to LQN transformation
214(5)
10.4.1. Mapping the structure
215(1)
10.4.2. Mapping the behaviour
215(4)
10.5. Performance model validation
219(2)
10.6. Conclusions
221(1)
10.7. Acknowledgments
222(1)
10.8. References
222(3)
Chapter 11. Code Generation for Embedded Systems 225(20)
D. Björklund, J. Lilius, I. Porres
11.1. Introduction
225(2)
11.2. Code generation
227(5)
11.2.1. Implementation
229(1)
11.2.2. Constraints in input models
229(2)
11.2.3. Text generation
231(1)
11.3. Rialto as an interdemdiate language for code generation
232(2)
11.4. Rialto in code generation
234(7)
11.4.1. From UML to Rialto
235(1)
11.4.2. Statecharts
235(1)
11.4.3. Activity diagrams
235(1)
11.4.4. Collaboration diagrams
236(1)
11.4.5. Example
236(1)
11.4.6. Constructing finite state machines from Rialto programs
237(1)
11.4.7. S-Graph
238(2)
11.4.8. Generation of program code
240(1)
11.5. Conclusions
241(1)
11.6. References
242(3)
Chapter 12. Model-Driven Architecture for Intensive Embedded Systems 245(24)
L. Bondé, P. Boulet, A. Cuccuru, J.-L. Dekeyser, C. Dumoulin, P. Marquet S. Metfali, M. Samyn
12.1. Introduction
245(2)
12.2. MDA and co-design
247(2)
12.2.1. Metamodels for the "Y" design
248(1)
12.2.2. PIMs and PSMs
249(1)
12.3. The Transformation engine: ModTransf
249(5)
12.3.1. Basic principle
250(1)
12.3.2. The XML rules
251(2)
12.3.3. Code generation
253(1)
12.4. Models and metamodels
254(7)
12.4.1. Application metaModel
255(2)
12.4.2. Hardware architecture metaModel
257(1)
12.4.3. Association metamodel
258(1)
12.4.4. Transactional level meta model
259(2)
12.5. Application of MDA transformations
261(5)
12.5.1. PIM to PSM transformation
261(2)
12.5.2. Transformation rule expression in ModTransf
263(1)
12.5.3. Code generation from the Tlm model
264(2)
12.6. Conclusion
266(1)
12.7. References
267(2)
Chapter 13. Spidergon: A NoC Modeling Paradigm 269
M. Copolla, R. Locatelli, G. Maruccia, L. Piéralilsi, M.D. Grammatikakis
13.1. Introduction
269(5)
13.1.1. NoC: Communication infrastructure for MPSOC
269(4)
13.1.2. NoC scalability
273(1)
13.2. The Spidergon NoC architecture
274(6)
13.3. Spidergon NoC modeling
280(2)
13.4. Design space exploration using NoC metamodels
282(2)
13.4.1. Hot Spots - non uniform traffic spots
282(1)
13.4.2. Application traffic
283(1)
13.4.3. Remaining MODELING issues
284(1)
13.5. Conclusion and extensions
284(2)
13.6. References
286

An electronic version of this book is available through VitalSource.

This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.

By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.

Digital License

You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.

More details can be found here.

A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.

Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.

Please view the compatibility matrix prior to purchase.