Embedded Systems

Embedded Systems Development

From Functional Models to Implementations

Editors: Sangiovanni-Vincentelli, A., Zeng, H., Di Natale, M., Marwedel, P. (Eds.)

  • 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
see more benefits

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-1-4614-3879-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $119.00
price for USA
  • ISBN 978-1-4614-3878-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $119.00
price for USA
  • ISBN 978-1-4939-0120-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
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.

About the authors

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.

Table of contents (12 chapters)

  • Introduction: Modeling, Analysis and Synthesis of Embedded Software and Systems

    Sangiovanni-Vincentelli, Alberto (et al.)

    Pages 1-16

  • Modeling, Analysis, and Implementation of Streaming Applications for Hardware Targets

    Ravindran, Kaushik (et al.)

    Pages 19-39

  • Dataflow-Based, Cross-Platform Design Flow for DSP Applications

    Zhou, Zheng (et al.)

    Pages 41-65

  • Model-Driven Design of Software Defined Radio Applications Based on UML

    Gonzalez, Jair (et al.)

    Pages 69-83

  • On Integrating EAST-ADL and UPPAAL for Embedded System Architecture Verification

    Qureshi, Tahir Naseer (et al.)

    Pages 85-99

Buy this book

eBook $89.00
price for USA (gross)
  • ISBN 978-1-4614-3879-3
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $119.00
price for USA
  • ISBN 978-1-4614-3878-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $119.00
price for USA
  • ISBN 978-1-4939-0120-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

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
Series Volume
20
Copyright
2014
Publisher
Springer-Verlag New York
Copyright Holder
Springer Science+Business Media New York
eBook ISBN
978-1-4614-3879-3
DOI
10.1007/978-1-4614-3879-3
Hardcover ISBN
978-1-4614-3878-6
Softcover ISBN
978-1-4939-0120-3
Series ISSN
2193-0155
Edition Number
1
Number of Pages
VIII, 223
Topics