Embedded Systems Development From Functional Models to Implementations /
| Otros autores o Colaboradores: | , , , |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
New York, NY :
Springer New York : Imprint: Springer,
2014.
|
| Series: | Embedded Systems,
20 |
| Temas: | |
| Acceso en línea: | http://dx.doi.org/10.1007/978-1-4614-3879-3 |
| Resumen: | 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. |
| Descripción Física: | viii, 223 p. : |
| ISBN: | 9781461438793 |
| ISSN: | 2193-0155 ; |
| DOI: | 10.1007/978-1-4614-3879-3 |
Tabla de Contenidos:
- 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.