Eingebettete Systeme sind aus unserem taglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, uber Hardware- und Softwaregrenzen hinausgehendes Verstandnis der Verifikationsproblematik erforderlich. Das vorliegende Lehrbuch dient als Einfuhrung in die systematische Verifikation eingebetteter Systeme, sowohl bei spezialisierten Verfahren zur Hardware- und Software-Verifikation als auch bei der Verifikation der Schnittstellen. Alle Verfahren werden in einer einheitlichen Notation fur Hard- und Software beschrieben.

Eine Einfuhrung in Verfahren zum systematischen Entwurf eingebetteter Systeme: Diese sind in einen technischen Kontext eingebettet und zugleich aus Optimalitatsgrunden hinsichtlich ihrer Aufgaben, Fahigkeiten, Schnittstellen und Einsatzgebiete spezialisiert. Daher mussen 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 fur 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 Verfugung.