|
|
|
|
 |
|
Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
Springer, 1. Aufl., Juni 2010, XV, 594 S. 283 Abb., brosch., EUR 29,95, SFr 51,50,
ISBN-10 364205355, ISBN-13 978-3642053556
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.
Sollten Sie die eBook-Version dieses Buches von http://www.springerlink.com/ heruntergeladen haben, lesen Sie bitte die Nutzungshinweise dazu durch.
teich@informatik.uni-erlangen.de
|
|
|
|
