Model Driven Engineering for Distributed Real-Time Embedded Systems / Edition 1

Hardcover (Print)
Buy New
Buy New from
Used and New from Other Sellers
Used and New from Other Sellers
from $17.00
Usually ships in 1-2 business days
(Save 85%)
Other sellers (Hardcover)
  • All (5) from $17.00   
  • New (4) from $89.91   
  • Used (1) from $17.00   


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.

Read More Show Less

Product Details

  • ISBN-13: 9781848211155
  • Publisher: Wiley
  • Publication date: 4/26/2010
  • Series: ISTE Series, #395
  • Edition number: 1
  • Pages: 320
  • Product dimensions: 6.46 (w) x 9.35 (h) x 0.75 (d)

Table of Contents

Chapter Summary xi

Chapter 1. Model Transformation: A Survey of the State of the Art 1

1.1. Model-driven engineering 1

1.2. Model transformation 2

1.3. Model transformation languages 5

1.4. Model transformation activities 8

1.5. Conclusion 14

1.6. Acknowledgements 14

1.7. Bibliography 15

Chapter 2. Model-Based Code Generation 21

2.1. Introduction 21

2.2. The model-driven architecture (MDA) process 22

2.3. The automated approach to code generation 23

2.4. Domain modeling 25

2.5. The executable UML (xUML) formalism 29

2.6. System generation 31

2.7. Executable UML to code mappings 34

2.8. Conclusions 41

2.9. Bibliography 42

Chapter 3. Testing Model Transformations: A Case for Test Generation from Input Domain Models 43

3.1. Introduction 43

3.2. Challenges for testing systems with large input domains 46

3.3. Selecting test data in large domains 52

3.4. Metamodel-based test input generation 58

3.5. Conclusion 67

3.6. Acknowledgements 68

3.7. Bibliography 68

Chapter 4. Symbolic Execution-Based Techniques for Conformance Testing 73
Christophe GASTON, Pascale LE GALL, Nicolas RAPIN and Assia TOUIL

4.1. Context 73

4.2. Input output symbolic transition systems 79

4.3. Symbolic execution 84

4.4. Conformance testing for IOSTS 87

4.5. Concluding remarks 96

4.6. Bibliography 101

Chapter 5. Using MARTE and SysML for Modeling Real-Time Embedded Systems 105
Huascar ESPINOZA, Daniela CANCILA, Sébastien GÉRARD and Bran SELIC

5.1. Introduction 105

5.2. Background 108

5.3. Scenarios of combined usage 113

5.4. Combination Strategies 125

5.5. Related work 130

5.6. Conclusion 133

5.7. Acknowledgements 134

5.8. Bibliography 134

Chapter 6. Software Model-based Performance Analysis 139
Dorina C. PETRIU

6.1. Introduction 139

6.2. Performance models 142

6.3. Software model with performance annotations 148

6.4. Mapping from software to performance model 155

6.5. Using a pivot language: Core Scenario Model (CSM) 158

6.6. Case study performance model 160

6.7. Conclusions 162

6.8. Acknowledgements 163

6.9. Bibliography 163

Chapter 7. Model Integration for Formal Qualification of Timing-Aware Software Data Acquisition Components 167
Jean-Philippe BABAU, Philippe DHAUSSY and Pierre-Yves PILLAIN

7.1. Introduction 167

7.2. System modeling 170

7.3. Variation points modeling 182

7.4. Experiments and results 189

7.5. Conclusion 194

7.6. Bibliography 195

Chapter 8. SoC/SoPC Development using MDD and MARTE Profile 201
Gilles PERROUIN and Pierre LERAY

8.1. Introduction 201

8.2. Related works 203

8.3. MOPCOM process and models 206

8.4. Application 210

8.5. System analysis 211

8.6. Abstract modeling level 214

8.7. Execution modeling level 216

8.8. Detailed modeling level 220

8.9. Tooling Support 223

8.10. HDL Code Generation 225

8.11. Conclusion 228

8.12. Acknowledgements 229

8.13. Bibliography 229

List of Authors 233

Index 237

Read More Show Less

Customer Reviews

Be the first to write a review
( 0 )
Rating Distribution

5 Star


4 Star


3 Star


2 Star


1 Star


Your Rating:

Your Name: Create a Pen Name or

Barnes & Review Rules

Our reader reviews allow you to share your comments on titles you liked, or didn't, with others. By submitting an online review, you are representing to Barnes & that all information contained in your review is original and accurate in all respects, and that the submission of such content by you and the posting of such content by Barnes & does not and will not violate the rights of any third party. Please follow the rules below to help ensure that your review can be posted.

Reviews by Our Customers Under the Age of 13

We highly value and respect everyone's opinion concerning the titles we offer. However, we cannot allow persons under the age of 13 to have accounts at or to post customer reviews. Please see our Terms of Use for more details.

What to exclude from your review:

Please do not write about reviews, commentary, or information posted on the product page. If you see any errors in the information on the product page, please send us an email.

Reviews should not contain any of the following:

  • - HTML tags, profanity, obscenities, vulgarities, or comments that defame anyone
  • - Time-sensitive information such as tour dates, signings, lectures, etc.
  • - Single-word reviews. Other people will read your review to discover why you liked or didn't like the title. Be descriptive.
  • - Comments focusing on the author or that may ruin the ending for others
  • - Phone numbers, addresses, URLs
  • - Pricing and availability information or alternative ordering information
  • - Advertisements or commercial solicitation


  • - By submitting a review, you grant to Barnes & and its sublicensees the royalty-free, perpetual, irrevocable right and license to use the review in accordance with the Barnes & Terms of Use.
  • - Barnes & reserves the right not to post any review -- particularly those that do not follow the terms and conditions of these Rules. Barnes & also reserves the right to remove any review at any time without notice.
  • - See Terms of Use for other conditions and disclaimers.
Search for Products You'd Like to Recommend

Recommend other products that relate to your review. Just search for them below and share!

Create a Pen Name

Your Pen Name is your unique identity on It will appear on the reviews you write and other website activities. Your Pen Name cannot be edited, changed or deleted once submitted.

Your Pen Name can be any combination of alphanumeric characters (plus - and _), and must be at least two characters long.

Continue Anonymously

    If you find inappropriate content, please report it to Barnes & Noble
    Why is this product inappropriate?
    Comments (optional)