Embedded System Design, Fachbücher von Gunar Schirner, Daniel D. Gajski, Andreas Gerstlauer, Samar Abdi

"Embedded System Design: Modeling, Synthesis and Verification" bietet einen umfassenden Überblick über einen modellbasierten Ansatz für das Systemdesign auf verschiedenen Abstraktionsebenen. Das Buch behandelt sowohl die Modellierung von Berechnungen als auch von Kommunikationsprozessen und bietet Techniken, die von der Spezifikation bis hin zu zyklusgenauen Modellen reichen. Es werden Synthesemethoden für Systemarchitekturen sowie für Software- und Hardwarekomponenten vorgestellt, die es Designern ermöglichen, Anwendungen mit hochgradigen Modellen zu entwickeln, die automatisch in niedrigere Implementierungen übersetzt werden können. Darüber hinaus werden sowohl simulationsbasierte als auch formale Verifikationsmethoden behandelt, die für das Erreichen von Designvertrauen unerlässlich sind. Das Buch schliesst mit einem Überblick über bestehende Werkzeuge und einer Fallstudie, die die Praxis des Embedded System Designs veranschaulicht. Es richtet sich an Studierende, Entwickler, Systemdesigner und Manager innerhalb der Embedded-System-Community.