Model Driven Engineering for Distributed Real-time Embedded Systems

, by Gerard, Sebastien; Babau, Jean-Philippe; Champeau, Jö; el

Note: Supplemental materials are not guaranteed with Rental or Used book purchases.

ISBN: 9781905209323 | 1905209320
Cover: Hardcover
Copyright: 9/23/2005

Buy New

Print on Demand: 2-4 Weeks. This item cannot be cancelled or returned.

$195.11

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.

Introduction

(2)

Chapter 1. Model Engineering: From Principles to Platforms

(16)

J. Bézevin, F. Jouault, D. Touzet

Chapter 2. Model-Driven Development of Distributed Real-time and Embedded Systems

(30)

D.C. Schmidt, K. Balasubramanian, A.S. Krishna, E. Turkay, A. Gokhale

2.1. Introduction

(6)

2.1.1. Emerging trends and challenges

(1)

2.1.2. A partial solution: QoS-enabled component middleware

(3)

2.1.3. Resolving key challenges of component-based DRE systems with model-driven development

(2)

2.1.4. Chapter organization

(1)

2.2. Overview of video distribution case study

(3)

2.3. Applying CoSMIC to address video distribution needs

(13)

2.3.1. Overview of CoSMIC and GME

(3)

2.3.2. Applying CoSMIC to the packaging phase

(3)

2.3.3. Applying CoSMIC to the configuration phase

(3)

2.3.4. Applying CoSMIC to the planning phase

(4)

2.4. Related work

(1)

2.5. Concluding remarks

(2)

2.6. References

(4)

Chapter 3. Model Transformation

(8)

P.-A. Muller

3.1. Why should we transform models 9

(1)

3.2. Role of model transformation in the software lifecycle

(1)

3.3. Basics of model transformation

(2)

3.4. Classification of model transformations

(2)

3.4.1. Model-to-text approaches

(1)

3.4.2. Model-to-model approaches

(1)

3.5. Conclusion

(1)

3.6. References

(2)

Chapter 4. Modeling Dependability Features

(24)

R. France

4.1. Introduction

(3)

4.2. Separating crosscutting features

(4)

4.2.1. AOM terminology

(1)

4.2.2. An overview of the AOM approach

(3)

4.3. Aspects models

(2)

4.4. Composing models

(7)

4.5. Using the AOM approach to separate middleware-specific features

(2)

4.6. Related work

(1)

4.7. Conclusion

(1)

4.8. References

(5)

Chapter 5. Model-Driven Systems Engineering: SysML & the MDSySE Approach at THALES

(18)

V. Normand, D. Exertier

5.1. Introduction

(3)

5.1.1. Systems engineering practices at THALES

(1)

5.1.2. Toward model-driven systems engineering

(2)

5.2. The SysML profile for systems engineering

(3)

5.2.1. SysML scope

(1)

5.2.2. SysML technical contents

(2)

5.3. Building a model-driven systems engineering methodology: the MDSysE approach

(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

Please wait while the item is added to your bag...

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Model Driven Engineering for Distributed Real-time Embedded Systems

Summary

Author Biography

Table of Contents

Supplemental Materials

FREE SHIPPING

Rent More, Save More! Use code: BBRENTAL

5% off 1 book, 7% off 2 books, 10% off 3+ books

Model Driven Engineering for Distributed Real-time Embedded Systems

Summary

Author Biography

Table of Contents

Supplemental Materials

Digital License