Sciweavers

Share
DSN
2008
IEEE

SymPLFIED: Symbolic program-level fault injection and error detection framework

8 years 9 months ago
SymPLFIED: Symbolic program-level fault injection and error detection framework
This paper introduces SymPLFIED, a program-level framework which allows specification of arbitrary error detectors and the verification of their efficacy against hardware errors. SymPLFIED comprehensively enumerates all transient hardware errors in registers, memory and computation (expressed symbolically as value errors) that potentially evade detection and cause program failure. The framework uses symbolic execution to abstract the state of erroneous values in the program and model checking to comprehensively find all errors that evade detection. We demonstrate the use of SymPLFIED on a widely deployed aircraft collision avoidance application, tcas. Our results show that the SymPLFIED framework can be used to uncover hardto-detect corner cases caused by transient errors in programs that may not be exposed by random faultinjection based validation.
Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalba
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where DSN
Authors Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. Iyer
Comments (0)
books