Model Driven Engineering for distributed Real-Time Systems

MARTE modelling, model transformations and their usages

Edited by Jean-Philippe Babau, University of Brest, France. Mireille Blay-Fornarino, Engineering School of Technology of the University of Nice, France. Joël Champeau, ENSIETA, Brest Area, France. Sylvain Robert, LISP, French Atomic Energy and Alternative Energies Commission. Antonino Sabetta, ISTI CNR, Pisa, Italy.

ISBN: 9781848211155

Publication Date: August 2010 Hardback 256 pp.

110.00 USD

eBooks

Description

After introducing general concepts about model transformations, two presentations provide an overview of the MARTE profile. Model-driven implementations of software and hardware architectures are then given, covering the most common aspects of Model-Driven Development for Distributed Real-Time Systems: structuring architectures using components, mapping between different levels of abstraction, designing hardware and software architecture, evaluation and validation through tests and performance analysis.
In the context of Distributed and Real-time Embedded Systems (DRES), system developers are faced with reducing system development cost and time while developing correct (relating to safe and QoS properties) and increasingly complex systems. To take up this challenge, Model-Driven Development (MDD) advocates the intensive uses of models and model transformation on several level of abstractions.
This book includes contributions from academic and professional experts on a range of topics related to MD practices, methods and emerging technologies.

Contents

1. Model Transformation, A Survey of the State-of-the-Art, Tom Mens.
2. Model Based Code Generation, Chris Raistrick.
3. Testing Model Transformations: A Case for Test Generation from Input Domain Models, Benoit Baudry.
4. Symbolic Execution-Based Techniques for Conformance Testing, Christophe Gaston, Pascale Le Gall, Nicolas Rapin, Assia Touil.
5. Using MARTE and SysML for Modeling Real-Time Embedded Systems, Huascar Espinoza, Daniela Cancila, Sébastien Gérard, Bran Selic.
6. Software Model-based Performance Analysis, Dorina C. Petriu.
7. Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components, Jean-Philippe Babau, Philippe Dhaussy, Pierre-Yves Pillain.
8. SoC/SoPC Development using MDD and MARTE profile, Denis Aulagnier, Ali Koudri, Stéphane Lecomte, Philippe Soulard, Joël Champeau, Jorgiano Vidal, Gilles Perrouin, Pierre Leray.

About the Authors

Jean-Philippe Babau is Professor in the Department of Computer Science at the University of Brest (UBO) in France where he teaches real-time and embedded system development, MDE and UML, and software engineering. His current work focuses on QoS description, evaluation and composition for complex systems, including marine and ubiquitous systems.
Mireille Blay-Fornarino is Associate Professor in computer science at the Engineering School of Technology of the University of Nice - France and Researcher at the Computer Science and Automata Laboratory (I3S).
Joël Champeau is Assistant Professor at ENSIETA, Brest Area, France
Sylvain Robert is Research Engineer at LISP (Lab Software Security Process) at the French Atomic Energy and Alternative Energies Commission.
Antonino Sabetta is Researcher at ISTI CNR, Pisa, Italy.

Downloads

Download Table of Contents - PDF File - 106 Kb