Quantifying the Accuracy of High-Level Fault Injection Techniques for Hardware Faults

作者: Jiesheng Wei , Anna Thomas , Guanpeng Li , Karthik Pattabiraman

DOI: 10.1109/DSN.2014.2

关键词: Reliability engineeringComputer hardwareComputer scienceFault (power engineering)Machine codeSource codeCompilerResilience (network)SoftwareSoftware fault toleranceEmbedded systemFault injection

摘要: Hardware errors are on the rise with reducing feature sizes, however tolerating them in hardware is expensive. Researchers have explored software-based techniques for building error resilient applications. Many of these leverage application-specific resilience characteristics to keep overheads low. Understanding requires software fault-injection mechanisms that both accurate and capable operating at a high-level abstraction allow developers reason about resilience. In this paper, we quantify accuracy fault injection vis-a-vis those operate assembly or machine code levels. To represent mechanisms, built injector tool based LLVM compiler, called LLFI. LLFI performs intermediate level application, which close source code. We quantitatively evaluate respect injection, understand reasons differences.

参考文章(26)
R. Maia, L. Henriques, D. Costa, H. Madeira, Xception/sup TM/ - enhanced automated fault-injection environment dependable systems and networks. pp. 547- 550 ,(2002) , 10.1109/DSN.2002.1028978
D.T. Stott, B. Floering, D. Burke, Z. Kalbarczpk, R.K. Iyer, NFTAPE: a framework for assessing dependability in distributed systems with lightweight fault injectors Proceedings IEEE International Computer Performance and Dependability Symposium. IPDS 2000. pp. 91- 100 ,(2000) , 10.1109/IPDS.2000.839467
Hyungmin Cho, Shahrzad Mirkhani, Chen-Yong Cher, Jacob A. Abraham, Subhasish Mitra, Quantitative evaluation of soft error injection techniques for robust system design design automation conference. pp. 101- ,(2013) , 10.1145/2463209.2488859
Karthik Pattabiraman, Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar Iyer, SymPLFIED: Symbolic program-level fault injection and error detection framework dependable systems and networks. pp. 472- 481 ,(2008) , 10.1109/DSN.2008.4630118
Anna Thomas, Karthik Pattabiraman, Error detector placement for soft computation dependable systems and networks. pp. 1- 12 ,(2013) , 10.1109/DSN.2013.6575353
Karthik Pattabiraman, Zbigniew T Kalbarczyk, Ravishankar K Iyer, Automated Derivation of Application-Aware Error Detectors Using Static Analysis: The Trusted Illiac Approach IEEE Transactions on Dependable and Secure Computing. ,vol. 8, pp. 44- 57 ,(2011) , 10.1109/TDSC.2009.23
Siva Kumar Sastry Hari, Sarita V. Adve, Helia Naeimi, Low-cost program-level detectors for reducing silent data corruptions dependable systems and networks. pp. 1- 12 ,(2012) , 10.1109/DSN.2012.6263960
Roberto Natella, Domenico Cotroneo, Joao A. Duraes, Henrique S. Madeira, On Fault Representativeness of Software Fault Injection IEEE Transactions on Software Engineering. ,vol. 39, pp. 80- 96 ,(2013) , 10.1109/TSE.2011.124
John L. Henning, SPEC CPU2006 benchmark descriptions ACM Sigarch Computer Architecture News. ,vol. 34, pp. 1- 17 ,(2006) , 10.1145/1186736.1186737
Vishal Chandra Sharma, Arvind Haran, Zvonimir Rakamaric, Ganesh Gopalakrishnan, Towards Formal Approaches to System Resilience pacific rim international symposium on dependable computing. pp. 41- 50 ,(2013) , 10.1109/PRDC.2013.14