Digitale Hardware/Software-Systeme Spezifikation und Verifikation [Paperback]

Eingebettete Systeme werden aufgrund ihrer Spezialisiertheit zunehmend aus interagierenden Hardware- und Software-Komponenten realisiert. Dies macht ein ganzheitliches Verst?ndnis der Verifikationsproblematik erforderlich. Das 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. Der Band dient als Nachschlagewerk f?r Entwickler und als Begleiter im Informatik- und Elektrotechnik-Studium.

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.

Spezifikation digitaler Systeme.- Verifikation.- ?quivalenzpr?fung.- Eigenschaftspr?fung.- Hardware-Verifikation.- Software-Verifikation.- Systemverifikation.

From the reviews:

This book is an introduction to the systematic verification of embedded systems, both in specialized procedures for hardware and software as wel«