EAN: | 9781493901203 |
---|---|
Sachgruppe: | Technik |
Sprache: | Englisch |
Seitenzahl: | 232 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Di Natale, Marco Marwedel, Peter Sangiovanni-Vincentelli, Alberto Zeng, Haibo |
Veröffentlichungsdatum: | 06.08.2015 |
Untertitel: | From Functional Models to Implementations |
Schlagworte: | Elektronik Rechnerarchitektur und Logik-Entwurf embeddedsystems; Hardware/SoftwareCo-development; HeterogeneousSoftwareforEmbeddedSystems; ModelingEmbeddedSystems; VerificationofEmbeddedSystems; Real-timesystems; Model-DrivenDesign |
109,99 €*
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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 Includes supplementary material: sn.pub/extras