This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fault Injection Experiments Using FIAT
April 1990 (vol. 39 no. 4)
pp. 575-582

The results of several experiments conducted using the fault-injection-based automated testing (FIAT) system are presented. FIAT is capable of emulating a variety of distributed system architectures, and it provides the capabilities to monitor system behavior and inject faults for the purpose of experimental characterization and validation of a system's dependability. The experiments consists of exhaustively injecting three separate fault types into various locations, encompassing both the code and data portions of memory images, of two distinct applications executed with several different data values and sizes. Fault types are variations of memory bit faults. The results show that there are a limited number of system-level fault manifestations. These manifestations follow a normal distribution for each fault type. Error detection latencies are found to be normally distributed. The methodology can be used to predict the system-level fault responses during the system design stage.

[1] J.-C. Laprie, "Dependable computing and fault tolerance: Concepts and terminology," inProc. 15th Int. Symp. Fault-Tolerant Comput., 1985, pp. 2-11.
[2] K. S. Trivedi, J. W. Gault, and J. B. Clary, "A validation prototype of system reliability in life-critical applications," inProc. Pathways Syst. Integrity Symp., National Bureau of Standards, 1980, pp. 79-86.
[3] J. Arlat, Y. Crouzet, and J.-C. Laprie, "Fault injection for dependability validation of fault-tolerant computing systems, in19th Int. Symp. on Fault-Tolerant Computing, June 1989, pp. 348-355.
[4] R. Chillarege and N. S. Bowen, "Understanding large system failures-A fault injection experiment,"in19th Int. Symp. on Fault-Tolerant Computing, June 1989, pp. 356-363.
[5] M. Schuette, J. Shen, D. Siewiorek, and Y. Zhu, "Experimental evaluation of two concurrent error detection schemes," inProc. 16th Int. Symp. Fault-Tolerant Comput., 1986, pp. 138-143.
[6] Z. Segallet al., "Fiat-Fault injection based automated testing environment,"in18th Int. Symp. on Fault-Tolerant Computing, June 1988, pp. 102-107.
[7] X. Yang, G. York, W. Birmingham, and D. Siewiorek, "Fault recovery of triplicated software on the Intel iAPX 432,"Distributed Comput. Syst., pp. 438-443, May 1985.
[8] J. Lala, "Fault detection isolation and reconfiguration in FTMP: Methods and experimental results," inProc. 5th AIAA/IEEE Digital Avion. Syst. Conf., 1983, pp. 21.3.1-21.3.9.
[9] E. W. Czeck, Z. Z. Segall, and D. P. Siewiorek, "Predeployment validation of fault-tolerant systems through software-implemented fault insertion," NASA CR-4244, Carnegie Mellon Univ., June 1989.
[10] W.R. Adrion, M.A. Brandstad, and J.C. Cherniavsky, "Validation, verification, and testing of computer software,"Computing Surveys, vol. 14, no. 2, pp. 159-191, June 1982.
[11] M. Schmid, R. Trapp, A. Davidoff, and G. Masson, "Upset exposure by means of abstract verification," inProc. 12th Int. Symp. Fault-Tolerant Comput., 1982, pp. 237-244.
[12] G. B. Finelli, "Characterization of fault recovery through fault injection on FTMP,"IEEE Trans. Reliability, vol. R-36, pp. 164-170, June 1987.
[13] W. Mendenhall,Introduction to Probability and Statistics. North Scituate, MA: Duxbury, 1979.
[14] A. O. Allen,Probability, Statistics, and Queuing Theory. New York: Academic, 1978.
[15] J. G. McGough, F. Swern, and S. J. Bavuso, "New results in fault latency modeling," inProc. IEEE EASCON Conf., Aug. 1983, pp. 299-306.
[16] D. Lomelino and R. Iyer, "Error propagation in a digital avionic processor: A simulation-based study," NASA CR-176501, Univ. of Illinois, 1986.
[17] Z. Segall, J. Barton, D. Vrsalovic, D. Siewiorek, R. Dancey, and A. Robinson, "Fault injection based automatic testing: Practice and examples," inProc. 8th AIAA/IEEE Digital Avion. Syst. Conf., Oct. 1988.

Index Terms:
fault injection experiments; error detection latencies; fault-injection-based automated testing; distributed system architectures; system behavior; memory images; system-level fault manifestations; automatic testing; fault tolerant computing.
Citation:
J.H. Barton, E.W. Czeck, Z.Z. Segall, D.P. Siewiorek, "Fault Injection Experiments Using FIAT," IEEE Transactions on Computers, vol. 39, no. 4, pp. 575-582, April 1990, doi:10.1109/12.54853
Usage of this product signifies your acceptance of the Terms of Use.