Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/autre/embedded-systems-development/sangiovanni-vincentelli/descriptif_2644624
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=2644624

Embedded Systems Development, 2014 From Functional Models to Implementations Embedded Systems Series, Vol. 20

Langue : Anglais

Coordonnateurs : Sangiovanni-Vincentelli Alberto, Zeng Haibo, Di Natale Marco, Marwedel Peter

Couverture de l’ouvrage Embedded Systems Development
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.

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 main conferences in the

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

Date de parution :

Ouvrage de 223 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 108,44 €

Ajouter au panier

Date de parution :

Ouvrage de 223 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 105,49 €

Ajouter au panier