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. Auf Grund der steigenden Bedeutung eingebetteter Systeme stellt dieses Buch unentbehrliches Wissen für Studierende der Informatik, Elektrotechnik, Informationstechnik und Mechatronik zusammen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk sowohl für Forscher als auch für Entwickler eingebetteter Systeme.

Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich.

Das vorliegende Lehrbuch dient als Einführung 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 für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens.

Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.

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. Auf Grund der steigenden Bedeutung eingebetteter Systeme stellt dieses Buch unentbehrliches Wissen für Studierende der Informatik, Elektrotechnik, Informationstechnik und Mechatronik zusammen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk sowohl für Forscher als auch für Entwickler eingebetteter Systeme.

Eingebettete Systeme sind aus unserem täglichen Leben nicht mehr wegzudenken. Aufgrund ihrer Spezialisiertheit werden diese zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches, über Hardware- und Softwaregrenzen hinausgehendes Verständnis der Verifikationsproblematik erforderlich.

Das vorliegende Lehrbuch dient als Einführung 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 für Hard- und Software beschrieben. Die wesentlichen Aspekte reichen, angefangen bei der Spezifikation, von der Verifikation der Funktionalität bis hin zur Überprüfung des Zeitverhaltens.

Das vorliegende Buch bietet Studierenden der Informatik, Elektrotechnik, Informationstechnik und Mechatronik fundiertes Wissen und ist zugleich ein wertvolles Referenz- und Nachschlagewerk für Entwickler eingebetteter Systeme.