Editors:
- 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
Part of the book series: Embedded Systems (EMSY, volume 20)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Model-Based Design and Synthesis
-
Front Matter
-
-
Model-Driven Design, Integration and Verification of Heterogeneous Models
-
Front Matter
-
-
Component-Based Design and Real-Time Components
-
Front Matter
-
-
Timing Analysis and Time-Based Synthesis
-
Front Matter
-
-
Back Matter
About this book
Editors and Affiliations
-
Dept. Electrical Engineering &, Computer Science (EECS), University of California, Berkeley, Berkeley, USA
Alberto Sangiovanni-Vincentelli
-
, Department of ECE, McGill University, Montreal, Canada
Haibo Zeng
-
Scuola Superiore Sant'Anna, Pisa, Italy
Marco Di Natale
-
Embedded Systems Group, TU Dortmund University, Dortmund, Germany
Peter Marwedel
About the editors
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 mainconferences 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.
Bibliographic Information
Book Title: Embedded Systems Development
Book Subtitle: From Functional Models to Implementations
Editors: Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
Series Title: Embedded Systems
DOI: https://doi.org/10.1007/978-1-4614-3879-3
Publisher: Springer New York, NY
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer Science+Business Media New York 2014
Hardcover ISBN: 978-1-4614-3878-6Published: 19 July 2013
Softcover ISBN: 978-1-4939-0120-3Published: 06 August 2015
eBook ISBN: 978-1-4614-3879-3Published: 19 July 2013
Series ISSN: 2193-0155
Series E-ISSN: 2193-0163
Edition Number: 1
Number of Pages: VIII, 223
Topics: Circuits and Systems, Electronics and Microelectronics, Instrumentation, Processor Architectures