Detalles Bibliográficos
| Otros autores o Colaboradores: |
Sangiovanni-Vincentelli, Alberto
(ed.),
Zeng, Haibo
(ed.),
Di Natale, Marco
(ed.),
Marwedel, Peter
(ed.) |
|---|
| 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 |
|---|
