Digitale Hardware/Software-Systeme : Spezifikation und Verifikation PDF
by Christian Haubelt, Jurgen Teich
Part of the eXamen.press series
- Information
Description
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 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.
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:03/06/2010
- Category:
- ISBN:9783642053566
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:03/06/2010
- Category:
- ISBN:9783642053566