Embedded Systems Development

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.

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