Digitale Hardware/Software-Systeme

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Deutsch

37,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Kategorien:

Beschreibung

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.

Zusammenfassung

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.

Inhaltsverzeichnis

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.

Erscheinungsjahr:	2010
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Reihe:	eXamen.press
Inhalt:	x 601 S. 273 s/w Illustr. 601 S. 273 Abb.
ISBN-13:	9783642053559
ISBN-10:	3642053556
Sprache:	Deutsch
Herstellernummer:	12790234
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Teich, Jürgen Haubelt, Christian
Hersteller:	Springer-Verlag GmbH Springer Berlin Heidelberg eXamen.press
Maße:	235 x 155 x 33 mm
Von/Mit:	Jürgen Teich (u. a.)
Erscheinungsdatum:	24.06.2010
Gewicht:	0,914 kg

Ähnliche Produkte