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.
Edited by:
Alberto Sangiovanni-Vincentelli,
Haibo Zeng,
Marco Di Natale,
Peter Marwedel
Imprint: Springer-Verlag New York Inc.
Country of Publication: United States
Edition: 2014 ed.
Volume: 20
Dimensions:
Height: 235mm,
Width: 155mm,
Spine: 18mm
Weight: 4.734kg
ISBN: 9781461438786
ISBN 10: 1461438780
Series: Embedded Systems
Pages: 223
Publication Date: 19 July 2013
Audience:
Professional and scholarly
,
Undergraduate
Format: Hardback
Publisher's Status: Active
Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems.- Part I Model-Based Design and Synthesis.- Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets.- Dataflow-based, Cross-Platform Design Flow for DSP Applications.- Part II Model-Driven, Integration and Verification of Heterogeneous Models.- On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification.- Schedulability Analysis at Early Design Stages with MARTE.- Part III Component-Based Design and Real-Time Components.- Early Time-Budgeting for Component-Based Embedded Control Systems.- Contract-Based Reasoning for Component systems with Rich Interactions.- Extracting End-to-end Timing Models from Component-Based Distributed Embedded Systems.- Part IV Timing Analysis and Time-Based Synthesis.- Distributed Priority Assignment in Real-Time Systems.- Exploration of Distributed Automotive Systems using Compositional Timing Analysis.- Design and Evaluation of Future Ethernet AVB-based ECU Networks.
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.