Eine Einführung in Verfahren zum systematischen Entwurf eingebetteter Systeme: Diese sind in einen technischen Kontext eingebettet und zugleich aus Optimalitätsgründen hinsichtlich ihrer Aufgaben, Fähigkeiten, Schnittstellen und Einsatzgebiete spezialisiert. Daher müssen Hardware- und Softwarekomponenten miteinander kooperieren. Wichtige Einsatzgebiete sind die Automobil- und Unterhaltungselektronik sowie die Kommunikations- und Medizintechnik. Die Autoren beschreiben alle Verfahren in einer einheitlichen Notation für Hard- und Software, wobei die wesentlichen Inhalte von der Modellierung bis hin zur Codegenerierung reichen. Aufgrund der steigenden Bedeutung eingebetteter Systeme stellt dieses Buch unentbehrliches Wissen zu Verfügung.