Quantifying the accuracy of high-level fault injection techniques for hardware faults

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2014, Pages 375-382

  Wei, Jiesheng ^a   Thomas, Anna ^a   Li, Guanpeng ^a   Pattabiraman, Karthik ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

comparison; Fault injection; LLVM; PIN

Indexed keywords

APPLICATION PROGRAMS; ERRORS; FAULT TOLERANT COMPUTER SYSTEMS;

APPLICATION SPECIFIC; COMPARISON; ERROR RESILIENCE; FAULT INJECTION; HIGH LEVEL OF ABSTRACTION; HIGH-LEVEL INJECTIONS; LLVM; SOFTWARE-BASED TECHNIQUES;

SOFTWARE TESTING;

EID: 84912132039     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2014.2     Document Type: Conference Paper

References (25)

1. S. Liu, K. Pattabiraman, T. Moscibroda, and B. G. Zorn, " Flikker: saving dram refresh-power through critical data partitioning," in ASPLOS, 2011, pp. 213-224.
2. M. de Kruijf, S. Nomura, and K. Sankaralingam, " Relax: an architectural framework for software recovery of hardware faults," in International Symposium on Computer Architecture, 2010, pp. 497-508.
3. S. Narayanan, J. Sartori, R. Kumar, and D. L. Jones, " Scalable stochastic processors," in DATE, 2010, pp. 335-338.
4. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman, " EnerJ: Approximate data types for safe and general lowpower computation," in PLDI, 2011, pp. 164-174.
5. J. Cong and K. Gururaj, "Assuring application-level correctness against soft errors, " in IEEE International Conference on Computer-Aided Design, 2011, pp. 150-157.
6. N. Nakka, K. Pattabiraman, and R. K. Iyer, "Processor-level selective replication, " in DSN, 2007, pp. 544-553.
7. D. T. Stott, B. Floering, D. Burke, Z. Kalbarczpk, and R. K. Iyer, " NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors," in International Computer Performance and Dependability Symposium, 2000, pp. 91-100.
8. D. Skarin,R. Barbosa,J. Karlsson GOOFI-2: A tool for experimental dependability assessment in DSN 2010 557-562.
9. D. Skarin, R. Barbosa, and J. Karlsson, "GOOFI-2: A tool for experimental dependability assessment, " in DSN, 2010, pp. 557-562. [9] R. Maia, L. Henriques, D. Costa, and H. Madeira, " XceptionTM-enhanced automated fault-injection environment," in DSN, 2002, pp. 547-550.
10. M. Hiller, A. Jhumka, and N. Suri, " PROPANE: an environment for examining the propagation of errors in software," in International Symposium on Software Testing and Analysis, 2002, pp. 81-85.
11. V. C. Sharma, A. Haran, Z. Rakamaric, a nd G. Gopalakrishnan, " Towards Formal Approaches to System Resilience," in PRDC, 2013.
12. A. Thomas and K. Pattabiraman, "Error detector placement for soft computation, " in DSN, 2013, pp. 1-12.
13. C. Lattner and V. Adve, "LLVM: A compilation framework for lifelong program analysis & transformation, " in CGO, 2004, pp. 75-86.
14. C.-K. Luk, R. S. Cohn, R. Muth, H. Patil, A. Klauser, P. G. Lowney, S.Wallace, V. J. Reddi, and K. M. Hazelwood, " Pin: building customized program analysis tools with dynamic instrumentation," in PLDI, 2005, pp. 190-200.
15. H. Madeira, D. Costa, and M. Vieira, "On the emulation of software faults by software fault injection, " in DSN, 2000, pp. 417-426.
16. R. Natella, D. Cotroneo, J. A. Duraes, and H. S. Madeira, " On fault representativeness of software fault injection," IEEE Transactions on Software Engineering, vol. 39, pp. 80-96, 2013.
17. K. Pattabiraman, N. Nakka, Z. Kalbarczyk, and R. Iyer, " SymPLFIED: Symbolic program-level fault injection and error detection framework," in DSN, 2008, pp. 472-481.
18. D. Skarin and J. Karlsson, " Software implemented detection and recovery of soft errors in a brake-by-wire system," in EDCC, 2008, pp. 145-154.
19. N. Oh, P. P. Shirvani, and E. J. McCluskey, "Error det ection by duplicated instructions in super-scalar processors," IEEE Transactions on Reliability, vol. 51, pp. 63-75, 2002.
20. S. K. S. Hari, S. V. Adve, and H. Naeimi, "Low-cost program-level detectors for reducing silent data corruptions," in DSN, pp. 181-188.
21. J. L. Henning, "SPEC CPU2006 benchmark descriptions, " ACM Sigarch Computer Architecture News, vol. 34, pp. 1-17, 2006.
22. S. C. Woof, M. Ohara, E. Torriet, J. P. Singhi, and A. Guptat, " The SPLASH2 programs: characterization and methodological considerations," in ISCA, 1995, pp. 24-36.
23. S. K. S. Hari, S. V. Adve, H. Naeimi, and P. Ramachandran, " Relyzer: exploiting application-level fault equivalence to analyze application resiliency to transient faults," in ASPLOS, 2012, pp. 123-134.
24. K. Pattabiraman, Z. Kalbarczyk, and R. K. Iyer, " Automated derivation of application-aware error detectors using static analysis: The trusted illiac approach," in TDSC, vol. 8, 2011, pp. 44-57.
25. H. Cho, S. Mirkhani, C.-Y. Cher, J. Abraham, and S. Mitra, " Quantitative evaluation of soft error injection techniques for robust system design," in Design Automation Conference (DAC), 2013, pp. 1-10.