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í |
| Sumario: | 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 ; |