Haubelt / Teich | Digitale Hardware/Software-Systeme | E-Book | sack.de
E-Book

E-Book, Deutsch, 601 Seiten, eBook

Reihe: eXamen.press

Haubelt / Teich Digitale Hardware/Software-Systeme

Spezifikation und Verifikation
2010
ISBN: 978-3-642-05356-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Spezifikation und Verifikation

E-Book, Deutsch, 601 Seiten, eBook

Reihe: eXamen.press

ISBN: 978-3-642-05356-6
Verlag: Springer
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.
Haubelt / Teich Digitale Hardware/Software-Systeme jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Haubelt, Christian
Teich, Jürgen

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.