|
|
|
|
| LEADER |
00000Cam#a22000005i#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
|
