General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Dynamics of Large Structures and Inverse Problems

Mathematical and Mechanical Engineering Set Volume 5

Small thumbnail

Civil Engineering Structures According to the Eurocodes

Small thumbnail

Swelling Concrete in Dams and Hydraulic Structures

DSC 2017

Small thumbnail

Earthquake Occurrence

Short- and Long-term Models and their Validation

Small thumbnail

The Chemostat

Mathematical Theory of Microorganims Cultures

Small thumbnail

From Prognostics and Health Systems Management to Predictive Maintenance 2

Knowledge, Traceability and Decision

Small thumbnail

First Hitting Time Regression Models

Lifetime Data Analysis Based on Underlying Stochastic Processes

Small thumbnail

The Innovative Company

An Ill-defined Object

Small thumbnail

Reading and Writing Knowledge in Scientific Communities

Digital Humanities and Knowledge Construction

Small thumbnail

Going Past Limits To Growth

A Report to the Club of Rome EU-Chapter

Small thumbnail

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


Add to cart

eBooks


Ebook Ebook

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

DownloadTable of Contents - PDF File - 106 Kb

Related Titles



































0.05485 s.