Kompositionelle Formale Robustheitsprüfung
Konferenz: Zuverlässigkeit und Entwurf - 4. GMM/GI/ITG-Fachtagung
13.09.2010 - 15.09.2010 in Wildbad Kreuth, Germany
Tagungsband: Zuverlässigkeit und Entwurf
Seiten: 2Sprache: DeutschTyp: PDF
Persönliche VDE-Mitglieder erhalten auf diesen Artikel 10% Rabatt
Autoren:
Frehse, Stefan; Fey, Görschwin (AG Rechnerarchitekur, Universität Bremen, 28359 Bremen, Deutschland)
Inhalt:
Der Anstieg der Soft-Error-Rate (SER) reduziert zunehmend die Zuverlässigkeit heutiger Schaltkreise, so dass fehlertolerante Systeme implementiert werden. Diese Fehlertoleranz bzw. Robustheit einer Implementierung muss verifiziert werden. Hier wird ein formaler Ansatz vorgestellt, der dieses Verifikationsproblem in Teilprobleme zerlegt. Die Experimente zeigen einen deutlichen Anstieg der Effektivität des neuen Verfahrens gegenüber einem monolithischen Ansatz.