> Detailanzeige
Haubelt, Christian
[Verfasser:in]
;
Teich, Jürgen
[Sonstige Person, Familie und Körperschaft]
Digitale Hardware/Software-Systeme
Teilen
Literatur-
verwaltung
Direktlink
Zur
Merkliste
Lösche von
Merkliste
Per Email teilen
Auf Twitter teilen
Auf Facebook teilen
Per Whatsapp teilen
- Medientyp: E-Book
- Titel: Digitale Hardware/Software-Systeme : Spezifikation und Verifikation
- Beteiligte: Haubelt, Christian [Verfasser:in]; Teich, Jürgen [Sonstige Person, Familie und Körperschaft]
-
Erschienen:
Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2010
-
Erschienen in:
eXamen.press ; 0
SpringerLink ; Bücher - Umfang: Online-Ressource (X, 601S. 273 Abb, digital)
- Sprache: Deutsch
- DOI: 10.1007/978-3-642-05356-6
- ISBN: 9783642053566
- Identifikator:
-
RVK-Notation:
ST 150 : Hardware, Rechnerarchitektur allgemein, von-Neumann-Architektur
ST 153 : Embedded Systems
ST 233 : Programmverifikation, -qualität, -test, -bewertung Test etc.
-
Schlagwörter:
Eingebettetes System
>
Digitales System
>
Formale Spezifikationstechnik
>
Verifikation
>
SystemC
>
CASHE
Eingebettetes System > Digitales System > Formale Spezifikationstechnik > Verifikation > SystemC > CASHE
- Entstehung:
-
Anmerkungen:
Includes bibliographical references and index
-
Beschreibung:
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.
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.