Embedded Systems Development From Functional Models to Implementations /
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...
Guardado en:
| Otros Autores: | , , , |
|---|---|
| Formato: | Libro electrónico |
| Lenguaje: | Inglés |
| Publicado: |
New York, NY :
Springer New York : Imprint: Springer,
2014.
|
| Colección: | Embedded Systems,
20 |
| Materias: | |
| Acceso en línea: | http://dx.doi.org/10.1007/978-1-4614-3879-3 |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 03609Cam#a22004935i#4500 | ||
|---|---|---|---|
| 001 | INGC-EBK-000063 | ||
| 003 | AR-LpUFI | ||
| 005 | 20220927105613.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130718s2014 xxu| s |||| 0|eng d | ||
| 020 | |a 9781461438793 | ||
| 024 | 7 | |a 10.1007/978-1-4614-3879-3 |2 doi | |
| 050 | 4 | |a TK7888.4 | |
| 072 | 7 | |a TJFC |2 bicssc | |
| 072 | 7 | |a TEC008010 |2 bisacsh | |
| 245 | 1 | 0 | |a Embedded Systems Development |h [libro electrónico] : ; |b From Functional Models to Implementations / |c edited by Alberto Sangiovanni-Vincentelli...[et al.]. |
| 260 | 1 | |a New York, NY : |b Springer New York : |b Imprint: Springer, |c 2014. | |
| 300 | |a viii, 223 p. : | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Embedded Systems, |x 2193-0155 ; |v 20 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Engineering. |9 259622 | |
| 650 | 0 | |a Microprocessors. |9 259640 | |
| 650 | 0 | |a Electronics. |9 259648 | |
| 650 | 0 | |a Microelectronics. |9 259649 | |
| 650 | 0 | |a Electronic circuits. |9 259798 | |
| 650 | 2 | 4 | |a Circuits and Systems. |9 259651 |
| 650 | 2 | 4 | |a Instrumentation. |9 259652 |
| 650 | 2 | 4 | |a Processor Architectures. |9 259645 |
| 700 | 1 | |a Sangiovanni-Vincentelli, Alberto, |e ed. |9 259961 | |
| 700 | 1 | |a Zeng, Haibo, |e ed. |9 259962 | |
| 700 | 1 | |a Di Natale, Marco, |e ed. |9 259963 | |
| 700 | 1 | |a Marwedel, Peter, |e ed. |9 259964 | |
| 776 | 0 | 8 | |i Printed edition: |z 9781461438786 |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/978-1-4614-3879-3 |
| 912 | |a ZDB-2-ENG | ||
| 929 | |a COM | ||
| 942 | |c EBK |6 _ | ||
| 950 | |a Engineering (Springer-11647) | ||
| 999 | |a SKV |c 27491 |d 27491 | ||