Kompositionelle Formale Robustheitsprüfung
Conference: Zuverlässigkeit und Entwurf - 4. GMM/GI/ITG-Fachtagung
09/13/2010 - 09/15/2010 at Wildbad Kreuth, Germany
Proceedings: Zuverlässigkeit und Entwurf
Pages: 2Language: germanTyp: PDF
Personal VDE Members are entitled to a 10% discount on this title
Authors:
Frehse, Stefan; Fey, Görschwin (AG Rechnerarchitekur, Universität Bremen, 28359 Bremen, Deutschland)
Abstract:
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.