Software Analysis for Transient Faults: A Review of Recent Methods

Transient faults in a computer system could influence the behavior of the software and pose a big threat to the dependability of the system. So a variety of software analysis methods are invented to characterize the property of the program in the face of transient faults and yield a lot of instructive information that could be utilized to improve the dependability of the software. In this paper, we first summarize some typical software analysis methods that are related to transient faults and introduce each method briefly. Then we make a comment on them and recommend some prospective methods.

[1]  Lorena Anghel,et al.  Evaluation of SET and SEU effects at multiple abstraction levels , 2005, 11th IEEE International On-Line Testing Symposium.

[2]  Mei Hong.  Software Analysis:A Road Map , 2009 .

[3]  Joel Emer,et al.  A systematic methodology to compute the architectural vulnerability factors for a high-performance microprocessor , 2003, Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36..

[4]  David R. Kaeli,et al.  Quantifying software vulnerability , 2008, WREFT '08.

[5]  Xue-Jun Yang,et al.  Error Flow Model: Modeling and Analysis of Software Propagating Hardware Faults , 2007 .

[6]  Alfredo Benso,et al.  A C/C++ source-to-source compiler for dependable applications , 2000, Proceeding International Conference on Dependable Systems and Networks. DSN 2000.

[7]  Li Jian-li.  Software Fault-Tolerance Techniques for Transient Faults , 2011 .

[8]  Rui Shen,et al.  PRASE: An Approach for Program Reliability Analysis with Soft Errors , 2008, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing.

[9]  Alfredo Benso,et al.  Static analysis of SEU effects on software applications , 2002, Proceedings. International Test Conference.

[10]  Xiaoming Li,et al.  Soft error propagation in floating-point programs , 2010, International Performance Computing and Communications Conference.

[11]  Raphael R. Some,et al.  Experimental evaluation of a COTS system for space applications , 2002, Proceedings International Conference on Dependable Systems and Networks.

[12]  Neeraj Suri,et al.  EPIC: profiling the propagation and effect of data errors in software , 2004, IEEE Transactions on Computers.