Embedded Systems Development From Functional Models to Implementations /
Embedded Systems Development From Functional Models to Implementations / [libro electrónico] : ;
edited by Alberto Sangiovanni-Vincentelli...[et al.].
- New York, NY : Springer New York : Imprint: Springer, 2014.
- viii, 223 p. :
- Embedded Systems, 20 2193-0155 ; .
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.
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. Â Â 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.
9781461438793
10.1007/978-1-4614-3879-3 doi
Engineering.
Microprocessors.
Electronics.
Microelectronics.
Electronic circuits.
Circuits and Systems.
Instrumentation.
Processor Architectures.
TK7888.4
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.
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. Â Â 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.
9781461438793
10.1007/978-1-4614-3879-3 doi
Engineering.
Microprocessors.
Electronics.
Microelectronics.
Electronic circuits.
Circuits and Systems.
Instrumentation.
Processor Architectures.
TK7888.4
