Ein formaler Ansatz zum Robustheitsnachweis
Konferenz: Zuverlässigkeit und Entwurf - 1. GMM/GI/ITG-Fachtagung
26.03.2007 - 28.03.2007 in München
Tagungsband: Zuverlässigkeit und Entwurf
Seiten: 7Sprache: DeutschTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Fey, Görschwin; Drechsler, Rolf (Fachbereich 3 - Mathematik und Informatik, Universität Bremen, 28359 Bremen)
Inhalt:
Es wird zunehmend wichtiger, dass integrierte Schaltkreise selbst beim Auftreten interner Fehlfunktionen noch ein korrektes Ein-/Ausgabeverhalten zeigen. Doch der Nachweis dieser Robustheit gegenüber Fehlern wird bisher nicht ausreichend unterstützt. In dieser Arbeit wird ein Ansatz zum formalen Nachweis der Robustheit eines Schaltkreises vorgestellt. Dies wird durch eine Reduktion auf den sequentiellen Äquivalenzvergleich oder eine Reihe von Eigenschaftsbeweisen ermöglicht. Resultat der Prüfung ist eine Maßzahl für die Robustheit des Schaltkreises. Außerdem werden die Bereiche eines Schaltkreises identifiziert, die durch Architekturmaßnahmen nicht ausreichend gegen Fehler abgesichert sind und deshalb durch Fertigungstechniken gegen Fehlfunktionen abgesichert werden müssen.