Embedded Systems Development

From Functional Models to Implementations

  • Alberto Sangiovanni-Vincentelli
  • Haibo Zeng
  • Marco Di Natale
  • Peter Marwedel

Part of the Embedded Systems book series (EMSY, volume 20)

Table of contents

  1. Front Matter
    Pages i-viii
  2. Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
    Pages 1-16
  3. Model-Based Design and Synthesis

    1. Front Matter
      Pages 17-17
    2. Kaushik Ravindran, Arkadeb Ghosal, Rhishikesh Limaye, Douglas Kim, Hugo Andrade, Jeff Correll et al.
      Pages 19-39
    3. Zheng Zhou, Chung-Ching Shen, William Plishker, Shuvra S. Bhattacharyya
      Pages 41-65
  4. Model-Driven Design, Integration and Verification of Heterogeneous Models

    1. Front Matter
      Pages 67-67
    2. Tahir Naseer Qureshi, De-Jiu Chen, Magnus Persson, Martin Törngren
      Pages 85-99
    3. Chokri Mraidha, Sara Tucci-Piergiovanni, Sebastien Gerard
      Pages 101-119
  5. Component-Based Design and Real-Time Components

    1. Front Matter
      Pages 121-121
    2. Manoj G. Dixit, S. Ramesh, Pallab Dasgupta
      Pages 123-137
    3. Susanne Graf, Roberto Passerone, Sophie Quinton
      Pages 139-154
    4. Saad Mubeen, Jukka Mäki-Turja, Mikael Sjödin
      Pages 155-169
  6. Timing Analysis and Time-Based Synthesis

    1. Front Matter
      Pages 171-171
    2. Moritz Neukirchner, Steffen Stein, Rolf Ernst
      Pages 173-187
    3. Martin Lukasiewycz, Michael Glaß, Jürgen Teich, Samarjit Chakraborty
      Pages 189-204
    4. Michael Glaß, Sebastian Graf, Felix Reimann, Jürgen Teich
      Pages 205-220
  7. Back Matter
    Pages 221-223

About this book


This book offers readers broad coverage of techniques to model, verify and validate the behavior and performance of complex distributed embedded systems.  The authors attempt to bridge the gap between the three disciplines of model-based design, real-time analysis and model-driven development, for a better understanding of the ways in which new development flows can be constructed, going from system-level modeling to the correct and predictable generation of a distributed implementation, leveraging current and future research results.



  • Describes integration of heterogeneous models;
  • Discusses synthesis of task model implementations and code implementations;
  • Compares model-based design vs. model-driven approaches;
  • Explains how to enforce correctness by construction in the functional and time domains;
  • Includes optimization techniques for control performance.


Embedded Systems Hardware/Software Co-development Heterogeneous Software for Embedded Systems Model-driven Design Modeling Embedded Systems Real-Time Systems Verification of Embedded Systems

Editors and affiliations

  • Alberto Sangiovanni-Vincentelli
    • 1
  • Haibo Zeng
    • 2
  • Marco Di Natale
    • 3
  • Peter Marwedel
    • 4
  1. 1.Dept. Electrical Engineering &, Computer Science (EECS)University of California, BerkeleyBerkeleyUSA
  2. 2., Department of ECEMcGill UniversityMontrealCanada
  3. 3.Scuola Superiore Sant'AnnaPisaItaly
  4. 4.Embedded Systems GroupTU Dortmund UniversityDortmundGermany

Bibliographic information

  • DOI
  • Copyright Information Springer Science+Business Media New York 2014
  • Publisher Name Springer, New York, NY
  • eBook Packages Engineering
  • Print ISBN 978-1-4614-3878-6
  • Online ISBN 978-1-4614-3879-3
  • Series Print ISSN 2193-0155
  • Series Online ISSN 2193-0163
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Energy, Utilities & Environment
Oil, Gas & Geosciences