Eingebettete Systeme

Dieses Buch ist eine Einfuhrung 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 Ansatze zur Analyse und Synthese von eingebetteten Hardware/Software-Systemen vorgestellt. Einen breiten Raum nimmt das Gebiet Entwicklungsmethodik ein, das fur Studierende sowie Informatiker und Ingenieure gedacht ist, die als Entwickler tatig 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 Ansatze aus Wissenschaft und Industrie mit hoher Praxisrelevanz. Somit kann der Text auch als Erganzung fur eine formalere Behandlung des Themas verwendet werden. Das Werk orientiert sich didaktisch an einer zweisemestrigen Vorlesung im Masterstudiengang der Universitat Tubingen.Einzelne Kapitel konnen als getrennte Vorlesungseinheiten verwendet werden.