Model Driven Engineering for Distributed Real-Time Embedded Systems 2009

Advances, Standards, Applications and Perspectives

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.

Testing is a widely used validation technique to increase software quality. It
consists of executing the System Under Test (SUT) for some particular use cases
and in evaluating whether or not corresponding SUTs executions conform to
some ...