Dieses Lehrbuch gibt eine Einführung in Verfahren zum systematischen Entwurf eingebetteter Systeme. Es handelt sich dabei um Systeme, die in einen technischen Kontext eingebettet und aus Optimalitätsgründen hinsichtlich ihrer Aufgaben, Fähigkeiten, Schnittstellen und Einsatzgebiete spezialisiert sind, was im Allgemeinen eine Realisierung aus kooperierenden Hardware- und Softwarekomponenten erfordert. Wichtige Einsatzgebiete sind die Automobil- und Unterhaltungselektronik sowie die Kommunikations- und Medizintechnik. Alle Verfahren werden in einer einheitlichen Notation für Hard- und Software beschrieben, wobei die wesentlichen Inhalte von der Modellierung bis hin zur Codegenerierung reichen. Aufgrund der steigenden Bedeutung eingebetteter Systeme stellt dieses Buch unentbehrliches Wissen für Studierende der Informatik, Elektrotechnik, Informationstechnik und Mechatronik zusammen.