Digitale Hardware/Software-Systeme
Spezifikation und Verifikation
Authors: Haubelt, Christian, Teich, Jürgen
Free Preview- Einziges Lehrbuch, das die Verzahnung der Verifikation von Hardware und Hardware-naher Software beschreibt
- Wertvolles Referenz- und Nachschlagewerk sowohl für Forscher als auch für Entwickler eingebetteter Systeme
Buy this book
- About this Textbook
-
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.
- Table of contents (8 chapters)
-
-
Einleitung
Pages 1-35
-
Spezifikation digitaler Systeme
Pages 37-93
-
Verifikation
Pages 95-114
-
Äquivalenzprüfung
Pages 115-154
-
Eigenschaftsprüfung
Pages 155-233
-
Table of contents (8 chapters)
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Digitale Hardware/Software-Systeme
- Book Subtitle
- Spezifikation und Verifikation
- Authors
-
- Christian Haubelt
- Jürgen Teich
- Series Title
- eXamen.press
- Copyright
- 2010
- Publisher
- Springer-Verlag Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- eBook ISBN
- 978-3-642-05356-6
- DOI
- 10.1007/978-3-642-05356-6
- Softcover ISBN
- 978-3-642-05355-9
- Series ISSN
- 1614-5216
- Edition Number
- 1
- Number of Pages
- X, 601
- Number of Illustrations
- 273 b/w illustrations
- Topics