Embedded Systems Development ― From Functional Models to Implementations

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.

Alberto Sangiovanni Vincentelli, Fellow of the IEEE, member of NAE and the Buttner Chair of EECS, University of California, Berkeley, co-founded Cadence and Synopsys, the two largest EDA companies and is a member of the BOD of Cadence, Sonics, KPIT Cummins and Accent, of the Science and Technology Advisory Board of GM, and of the Technology Advisory Council of UTC, He received the Kaufman Award for “pioneering contributions to EDA” and the IEEE/RSE Maxwell Medal “for groundbreaking contributions that have had an exceptional impact on the development of electronics and electrical engineering or related fields”. He is an author of over 880 papers, 17 books and 3 patents. Haibo Zeng received his Ph.D. in Electrical Engineering and Computer Sciences from University of California at Berkeley, a B.E. and M.E. in Electrical Engineering from Tsinghua University, Beijing, China. He was a senior researcher at General Motors R&D. He is currently an Assistant Professor at McGill University, Canada. His research interests are design methodology, analysis, and optimization for embedded systems, real-time systems, and cyber-physical systems.Marco Di Natale is an IEEE Senior member and Associate Professor at the Scuola Superiore Sant’Anna, in which he held the position of Director of the Real-Time Systems (ReTiS) Lab from 2003 to 2006. He received his PhD from Scuola Superiore Sant’Anna in 1991. He was a visiting Researcher at the University of California, Berkeley in 2006 and 2008. In 2006 he was the national representative in the mirror group of the ARTEMIS European Union Technology platform. He's been a researcher in the area of real-time systems and embedded systems for more than 15 years, being author or co-author of more than 130 scientific papers. He has been winner of four best paper awards and one best presentation awards. He has served as Program Committee member and has been organizer of tutorials and special sessions for the main conferences in the area, including the Real-time Systems Symposium, the IEEE/ACM Design Automation Conference (DAC), the Design Automation and Test in Europe (DATE) and the Real-Time Application Symposium in which he also served as Track Chair and Program Chair in 2012. He has been associate editor for the IEEE Transactions on CAD and is currently in the editorial board of the IEEE Transactions on Industrial Informatics.Dr. Peter Marwedel studied physics at the University of Kiel, Germany. He received his PhD in physics 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 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. Dr. Marwedel published papers on energy-efficient software and compiler-supported use of scratchpad memories and 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 and received the EDAA Lifetime Achievement Award in 2013.