Bridging the gaps between the disciplines of model-based design, real-time analysis and model-driven development, this book demonstrates techniques for modeling, verifying and validating the behavior and performance of complex distributed embedded systems.
Read more

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.
Read more
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 Includes supplementary material: sn.pub/extras
Read more

Product details

ISBN
9781461438786
Published
2013-07-19
Publisher
Springer-Verlag New York Inc.
Height
235 mm
Width
155 mm
Age
Professional/practitioner, P, 06
Language
Product language
Engelsk
Format
Product format
Innbundet
Number of pages
8

Biographical note

Dr. Peter Marwedel studied physics at the University of Kiel, Germany. He received his PhD in that subject in 1974. As a post-doc, he published some of the first papers on high-level synthesis and retargetable compilation in the context of the MIMOLA hardware description language. In 1987, his habilitation thesis in computer science (a thesis required for becoming a professor) was accepted. Since 1989, he is holding a chair for computer engineering and embedded systems at the computer science department of TU Dortmund. He is also chairing ICD, a local spin-off of TU Dortmund. His research interests include design automation for embedded systems, in particular the generation of efficient embedded software. Focus is on energy efficiency and timing predictability. Since 2001, Dr. Marwedel published papers on energy-efficient software and compiler-supported use of scratchpad memories. He is the author of one of the few textbooks on embedded systems. Since 2011, he is the vice-chair of the collaborative research center SFB 876, aiming at resource-efficient analysis of large data sets. Dr. Marwedel is an IEEE Fellow.