Digitale Hardware/Software-Systeme: Spezifikation Und Verifikation

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.