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...
Eingebettete Systeme sind aus unserem taglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagie...
Systematische Einfuhrung in die Verfahren fur den Entwurf eingebetteter Systeme. Diese sind in einen technischen Kontext eingebettet und zugleich hinsichtlich ihrer Aufgaben, Fahigkeiten, Schnittstellen und Einsatzgebiete spezialisiert. Die Anforderung: Hardware- und Softwarekomponenten mussen reibungslos miteinander kooperieren (z.B. Automobil- und Unterhaltungselektronik/Kommunikations- und Medizintechnik). Die Autoren beschreiben alle Verfahren: einheitlich, fur Hard- und Software, von der Modellierung bis zur Codegenerierung. Unentbehrliches Wissen fur Studierende und wertvolles...
Systematische Einfuhrung in die Verfahren fur den Entwurf eingebetteter Systeme. Diese sind in einen technischen Kontext eingebettet und zugleich h...
