Citation
Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar Iyer. "SymPLFIED: Symbolic Program-Level Fault-Injection and Error-Detection Framework". Proceedings of the International Conference on Dependable Systems and Networks (DSN), IEEE, June, 2008; This paper won the William Carter award for best paper.

Abstract
This paper introduces SymPLFIED, a program-level framework which allows specification of arbi-trary error detectors and the verification of their effi-cacy against hardware errors. SymPLFIED compre-hensively enumerates all transient hardware errors in registers, memory and computation (expressed as val-ue errors) that potentially evade detection and cause program failure. The framework uses symbolic execu-tion 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 col-lision avoidance application, tcas. Our results show that the SymPLFIED framework can be used to un-cover hard-to-detect corner cases caused by transient errors in programs that may not be exposed by ran-dom fault-injection based validation.

Electronic downloads

• PattabiramanSymPLFIED.pdf · application/pdf · 374 kbytes

Citation formats

• HTML

  Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk,
  Ravishankar Iyer. <a
  href="http://www.gigascale.org/pubs/1265.html">SymPLFIED:
  Symbolic Program-Level Fault-Injection and Error-Detection
  Framework</a>, Proceedings of the International
  Conference on Dependable Systems and Networks (DSN), IEEE,
  June, 2008; This paper won the William Carter award for best
  paper.

• Plain text

  Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk,
  Ravishankar Iyer. "SymPLFIED: Symbolic Program-Level
  Fault-Injection and Error-Detection Framework". Proceedings
  of the International Conference on Dependable Systems and
  Networks (DSN), IEEE, June, 2008; This paper won the William
  Carter award for best paper.

• BibTeX

  @inproceedings{PattabiramanNakkaKalbarczykIyer2008,
      author = {Karthik Pattabiraman and Nithin Nakka and Zbigniew
                Kalbarczyk and Ravishankar Iyer},
      title = {SymPLFIED: Symbolic Program-Level Fault-Injection
                and Error-Detection Framework},
      booktitle = {Proceedings of the International Conference on
                Dependable Systems and Networks (DSN)},
      organization = {IEEE},
      month = {June},
      year = {2008},
      note = {This paper won the William Carter award for best
                paper},
      URL = {http://www.gigascale.org/pubs/1265.html}
  }
  

Posted by Karthik Pattabiraman on 4 Apr 2008..

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.