000 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 _a9781461438793
024 7 _a10.1007/978-1-4614-3879-3
_2doi
050 4 _aTK7888.4
072 7 _aTJFC
_2bicssc
072 7 _aTEC008010
_2bisacsh
245 1 0 _aEmbedded Systems Development
_h[libro electrónico] : ;
_bFrom Functional Models to Implementations /
_cedited by Alberto Sangiovanni-Vincentelli...[et al.].
260 1 _aNew York, NY :
_bSpringer New York :
_bImprint: Springer,
_c2014.
300 _aviii, 223 p. :
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aEmbedded Systems,
_x2193-0155 ;
_v20
505 0 _aIntroduction: 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 _aThis 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 _aEngineering.
_9259622
650 0 _aMicroprocessors.
_9259640
650 0 _aElectronics.
_9259648
650 0 _aMicroelectronics.
_9259649
650 0 _aElectronic circuits.
_9259798
650 2 4 _aCircuits and Systems.
_9259651
650 2 4 _aInstrumentation.
_9259652
650 2 4 _aProcessor Architectures.
_9259645
700 1 _aSangiovanni-Vincentelli, Alberto,
_eed.
_9259961
700 1 _aZeng, Haibo,
_eed.
_9259962
700 1 _aDi Natale, Marco,
_eed.
_9259963
700 1 _aMarwedel, Peter,
_eed.
_9259964
776 0 8 _iPrinted edition:
_z9781461438786
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4614-3879-3
912 _aZDB-2-ENG
929 _aCOM
942 _cEBK
999 _aSKV
_c27491
_d27491