Model Driven Engineering for Distributed Real-Time Embedded Systems 2009: Advances, Standards, Applications and Perspectives

Chapter Summary

Chapter 1

Model-driven engineering (MDE) is an approach to software development where the primary focus is on models, as opposed to source code. The use of models opens up new possibilities for creating, analyzing, manipulating and formally reasoning about systems at a high level of abstraction.

To reap all the benefits of MDE, it is essential to install a model transformation mechanism, that enables a wide range of different automated activities such as translation of models (expressed in different modeling languages), generating code from models, model synthesis, model improvement, model verification and model simulation. To achieve this, languages, formalisms, techniques, processes, tools and standards that support model transformation are needed. This chapter surveys the state of the art of model transformation, and discusses how it can be used to support some essential activities in MDE.

Chapter 2

This chapter explains how the combination of the OMG’s Model-Driven architecture (MDA) process and the executable UML formalism can be used to specify and build embedded software systems. It will deal specifically with:

– the Model-Driven Architecture principle of partitioning a system into domains for which we construct Platform Independent Models (PIMs);

– the use of Executable UML (xUML) for the construction of precise, complete PIMs that can be demonstrated and verified prior to implementation;

– automatic translation of the PIMs into Platform Specific Models ...