Embedded systems development [electronic resource] : from functional models to implementations / Alberto Sangiovanni-Vincentelli ... [et al.].

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.