Digitale Hardware/Software-Systeme

Spezifikation und Verifikation

  • Christian Haubelt
  • Jürgen Teich

Part of the eXamen.press book series (EXAMEN, volume 0)

Table of contents

  1. Front Matter
    Pages I-X
  2. Christian Haubelt, Jürgen Teich
    Pages 1-35
  3. Christian Haubelt, Jürgen Teich
    Pages 37-93
  4. Christian Haubelt, Jürgen Teich
    Pages 95-114
  5. Christian Haubelt, Jürgen Teich
    Pages 115-154
  6. Christian Haubelt, Jürgen Teich
    Pages 155-233
  7. Christian Haubelt, Jürgen Teich
    Pages 235-359
  8. Christian Haubelt, Jürgen Teich
    Pages 361-450
  9. Christian Haubelt, Jürgen Teich
    Pages 451-522
  10. Back Matter
    Pages 523-601

About this book

Introduction

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.

Keywords

Elektrotechnik Erfüllbarkeitsproblem der Aussagenlogik Hardware Hardware-Software-Verifikation Informatik Informationstechnik Klassifikation Notation Schnittstelle Software Spezifikation von Hardware/Software-Systemen Stru eingebettete Systeme

Authors and affiliations

  • Christian Haubelt
    • 1
  • Jürgen Teich
    • 2
  1. 1.Lehrstuhl Hardware-Software-Co-DesignUniversität Erlangen-NürnbergErlangenGermany
  2. 2.Lehrstuhl Hardware-Software-Co-DesignUniversität Erlangen-NürnbergErlangenGermany

Bibliographic information