Dieses Buch ist eine Einführung in die wichtigsten Themen und Fragestellungen beim Entwurf von
Eingebetteten und Cyber-Physischen Systemen. Ausgehend von den zugrundeliegenden Technologien
Prozessor- und Netzwerkarchitekturen werden Modellierungssprachen und moderne Ansätze zur
Analyse und Synthese von eingebetteten Hardware Software-Systemen vorgestellt. Einen breiten
Raum nimmt das Gebiet Entwicklungsmethodik ein das für Studierende sowie Informatiker und
Ingenieure gedacht ist die als Entwickler tätig werden wollen oder es bereits sind. Der Stoff
wird anschaulich anhand vieler Bilder und Beispiele dargestellt. Dabei verzichten wir bewusst
auf mathematische Beweise und Formalismen und setzen den Fokus auf die Darstellung aktueller
Methoden und Ansätze aus Wissenschaft und Industrie mit hoher Praxisrelevanz. Somit kann der
Text auch als Ergänzung für eine formalere Behandlung des Themas verwendet werden. Das Werk
orientiert sich didaktisch an einer zweisemestrigen Vorlesung im Masterstudiengang der
Universität Tübingen. Einzelne Kapitel können als getrennte Vorlesungseinheiten verwendet
werden.