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...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
39.05 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
Produktdetails
Produktinformationen zu „Digitale Hardware/Software-Systeme “
Klappentext zu „Digitale Hardware/Software-Systeme “
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.
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.
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.
Inhaltsverzeichnis zu „Digitale Hardware/Software-Systeme “
Einleitung.- Spezifikation digitaler Systeme.- Verifikation.- Äquivalenzprüfung.- Eigenschaftsprüfung.- Hardwareverifikation.- Softwareverifikation.- Systemverifikation.- A.1 Mengen.- A.2 Relationen und Funktionen.- A.3 Aussagenlogik.- A.4 Prädikatenlogik erster Ordnung.- A.5 Graphen.- B.1 Entscheidungsdiagramme.- B.2 Binäre Entscheidungsdiagramme.- B.3 Verallgemeinerte Binäre Entscheidungsdiagramme.- C.1 Klassifikation von Problemen.- C.2 SAT-Solver.- C.3 SMT-Solver.- C.4 CTL-Fixpunktberechnung.
Bibliographische Angaben
- Autoren: Christian Haubelt , Jürgen Teich
- 2010, X, 601 Seiten, 273 Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Deutsch
- Verlag: Springer, Berlin
- ISBN-10: 3642053556
- ISBN-13: 9783642053559
- Erscheinungsdatum: 24.06.2010
Rezension zu „Digitale Hardware/Software-Systeme “
From the reviews:
"This book is an introduction to the systematic verification of embedded systems, both in specialized procedures for hardware and software as well as the interfaces. All procedures are described in a uniform notation. ... A substantial amount of related references are also given. This is a valuable reference and resource book for developers of embedded systems." (T. C. Mohan, Zentralblatt MATH, Vol. 1206, 2011)
Kommentar zu "Digitale Hardware/Software-Systeme"
Schreiben Sie einen Kommentar zu "Digitale Hardware/Software-Systeme".
Kommentar verfassen