Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Embedded Systems Week (2011)
Titre(s) : Embedded systems development [Texte électronique] : from functional models to implementations / Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel, editors
Publication : New York : Springer, cop. 2014
Description matérielle : 1 ressource dématérialisée
Collection : Embedded systems ; volume 20
Note(s) : "This book is an edited collection of contributions in selected topics related to
embedded systems modeling, analysis, and synthesis. Most contributions are extended
versions of papers that were originally presented at several workshops organized in
the context of the Embedded Systems Week and Real-Time Systems Symposium in the last
months of 2011 ... These workshops were the WSS, Workshop on Software Synthesis, the
TiMoBD, Time Analysis and Model-Based Design, and the SOMRES, Workshop on Synthesis
and Optimization Methods for Real-Time Embedded Systems"--Preface. - Includes bibliographical references and index
Autre(s) auteur(s) : Sangiovanni-Vincentelli, Alberto (1947-....). Fonction indéterminée
Zeng, Haibo. Fonction indéterminée
Di Natale, Marco. Fonction indéterminée
Marwedel, Peter. Fonction indéterminée
Real-Time Systems Symposium (2011). Fonction indéterminée
WSS, Workshop on Software Synthesis (2011). Fonction indéterminée
TiMoBD, Time Analysis and Model-Based Design (2011). Fonction indéterminée
SOMRES, Workshop on Synthesis and Optimization Methods for Real-Time Embedded Systems
(2011). Fonction indéterminée
Sujet(s) : Systèmes embarqués (informatique) -- Construction
Genre ou forme : Actes de congrès
Indice(s) Dewey :
006.22 (23e éd.) = Systèmes informatiques embarqués
Identifiants, prix et caractéristiques : ISBN 9781461438793
Identifiant de la notice : ark:/12148/cb44664873p
Notice n° :
FRBNF44664873
(notice reprise d'un réservoir extérieur)
Table des matières : 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 Analys
