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.
Table of Contents
Chapter 1. Model Transformation: A Survey of the State of the Art.
Chapter 2. Model-Based Code Generation.
Chapter 3. Testing Model Transformations: A Case for Test Generation from Input Domain Models.
Chapter 4. Symbolic Execution-Based Techniques for Conformance Testing.
Chapter 5. Using MARTE and SysML for Modeling Real-Time Embedded Systems.
Chapter 6. Software Model-based Performance Analysis .
Chapter 7. Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components.
Chapter 8. SoC/SoPC Development using MDD and MARTE Profile.
You can download this book from any of the following links. If any link is dead please feel free to leave a comment.
Download here (BOOK)
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.