|
|
Biblioteca Julio Castiñeiras. Sistema de Información Integrado - Facultad de Ingeniería UNLP
Facultad de Ingeniería | 115 esq.47 | Horario: Lunes a Viernes 8 a 19 hs. E-mail: bibcentral@ing.unlp.edu.ar
|
|
|
|
|
|
|
|
|
Información bibliografica (registro INGC-EBK-000063) |
|
|
|
Título: |
Embedded Systems Development From Functional Models to Implementations / edited by Alberto Sangiovanni-Vincentelli...[et al.]. |
Otros autores: |
|
Marwedel, Peter, ed.
|
Sangiovanni-Vincentelli, Alberto, ed.
|
Di Natale, Marco, ed.
|
Zeng, Haibo, ed.
|
|
Editado por: |
Springer New York :;Imprint: Springer,
|
Año de publicación: |
2014.
|
Lugar de publicación: |
New York, NY :
|
Descripción física: |
viii, 223 p. : |
ISBN: |
9781461438793
|
Colección: |
Embedded Systems,
|
Materias: |
|
Microelectronics. |
Electronic circuits. |
Circuits and Systems. |
Instrumentation. |
Processor Architectures. |
Electronics. |
Engineering. |
Microprocessors. |
|
Notas: |
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. |
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. |
URL: |
http://dx.doi.org/10.1007/978-1-4614-3879-3
|
|
|
Tapa y contenido (Amazon.com) |
|
|
El software empleado por esta biblioteca esta basado en el
Koha
Software OSS para gestion de Bibliotecas, y cumple estándares internacionales de informacion web
Número de visitantes:
|
|
|