Model-Driven Engineering for Distributed Real-Time Systems: MARTE Modeling, Model Transformations and their Usages

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.Content:
Chapter 1 Model Transformation: A Survey of the State of the Art (pages 1–19): Tom Mens
Chapter 2 Model?Based Code Generation (pages 21–42): Chris Raistrick
Chapter 3 Testing Model Transformations: A Case for Test Generation from Input Domain Models (pages 43–72): Benoit Baudry
Chapter 4 Symbolic Execution?Based Techniques for Conformance Testing (pages 73–103): Christophe Gaston, Pascale Le Gall, Nicolas Rapin and Assia Touil
Chapter 5 Using MARTE and SysML for Modeling Real?Time Embedded Systems (pages 105–137): Huascar Espinoza, Daniela Cancila, Sebastien Gerard and Bran Selic
Chapter 6 Software Model?based Performance Analysis (pages 139–166): Dorina C. Petriu
Chapter 7 Model Integration for Formal Qualification of Timing?Aware Software Data Acquisition Components (pages 167–200): Jean?Philippe Babau, Philippe Dhaussy and Pierre?Yves Pillain
Chapter 8 SoC/SoPC Development using MDD and MARTE Profile (pages 201–232): Denis Aulagnier, Ali Koudri, Stephane Lecomte, Philippe Soulard, Joel Champeau, Jorgiano Vidal, Gilles Perrouin and Pierre Leray