General

Authors

Search


Committee login



 
 

 


 

 

Forthcoming

Small thumbnail

Nonlinear Theory of Elastic Plates

Small thumbnail

Exterior Algebras

Elementary Tribute to Grassmann's Ideas

Small thumbnail

From Pinch Methodology to Pinch-Exergy Integration of Flexible Systems

Thermodynamics Energy, Environment, Economy Set

Small thumbnail

Data Treatment in Environmental Sciences

Multivaried Approach

Small thumbnail

Gas Hydrates 1

Fundamentals, Characterization and Modeling

Small thumbnail

Smart Decisions in Complex Systems

Small thumbnail

Chi-squared Goodness-of-fit Tests for Censored Data

Stochastic Models in Survival Analysis and Reliability Set Volume 3

Small thumbnail

Baidu SEO

Challenges and Intricacies of Marketing in China

Small thumbnail

Supply Chain Management and Business Performance

The VASC Model

Small thumbnail

Asymmetric Alliances and Information Systems

Issues and Prospects

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.04285 s.