Experimental evaluation of error-detection mechanisms

IEEE Transactions on Reliability

Volumn 52, Issue 1, 2003, Pages 53-57

  Constantinescu, Cristian ^a  

^a INTEL CORPORATION   (United States)

Author keywords

Coverage probability; Error detection; Fault injection; Statistical inference

Indexed keywords

MATHEMATICAL MODELS; PROBABILITY; SERVERS; STATISTICAL METHODS;

FAULT INJECTION;

ERROR DETECTION;

EID: 0037333293     PISSN: 00189529     EISSN: None     Source Type: Journal    
DOI: 10.1109/TR.2002.805785     Document Type: Article

References (31)

1. J. Arlat et al., "Fault injection for dependability validation: A methodology and some applications," IEEE Trans. Software Eng., vol. 16, no. 2, pp. 166-182, 1990.
2. J. Barton, E. Czeck, Z. Segall, and D. Siewiorek, "Fault injection experiments using FIAT," IEEE Trans. Comput., vol. 39, no. 4, pp. 575-582, 1990.
3. J. Carreira, H. Madeira, and J. G. Silva, "Xception: A technique for the experimental evaluation of dependability in modern computers," IEEE Trans. Software Eng., vol. 24, pp. 125-136, Feb. 1998.
4. R. Chillarege and N. Bowen, "Understanding large systems failures-A fault injection experiment," in Proc. 19th FTCS Symp., 1989, pp. 356-363.
5. C. Constantinescu, "Teraflops supercomputer: Architecture and validations of the fault tolerance mechanisms," IEEE Trans. Comput., vol, 49, no. 9, pp. 886-894, Sept. 2000.
6. _, "Estimation of coverage probabilities for dependability validation of fault-tolerant computing systems," in Proc. 9th Annu. Conf. Computer Assurance, 1994, pp. 101-106.
7. _, "Using multi-stage & stratified sampling for inferring fault coverage probabilities," IEEE Trans. Rel., vol. 44, no. 4, pp. 632-639, 1995.
8. K. Echtle and M. Leu, "The EFA fault injector for fault tolerant distributed system testing," in Proc. Fault Tolerant Parallel and Distributed Systems Workshop, 1992, pp. 28-35.
9. P. Folkesson, S. Svensson, and J. Karlsson, "A comparison of simulated based and scan chain implemented fault injection," in Proc. 28th FTCS Symp., 1998, pp. 284-293.
10. A. Ghosh and B. Johnson, "System-level modeling in the ADEPT environment of a distributed computer system for real-time applications," in Proc. IEEE Int. Computer Performance and Dependability Symp., 1995, pp. 194-203.
11. K. Goswami, R. K. Iyer, and L. Young, "DEPEND: A simulation based environment for system level dependability analysis," IEEE Trans. Comput., vol. 46, no. 1, pp. 60-74, 1997.
12. S. Han, K. Shin, and H. Rosenberg, "DOCTOR: An integrated software fault injection environment for distributed real-time systems," in Proc. IEEE Int. Computer Performance and Dependability Symp., 1995, pp. 204-213.
13. M. C. Hsueh, T. K. Tsai, and R. K. Iyer, "Fault injection techniques and tools," IEEE Computer, pp. 75-82, Apr. 1997.
14. R. K. Iyer, "Experimental evaluation," in Proc. 25th FTCS Symp., 1995, Special Issue, pp. 115-132.
15. E. Jenn et al., "Fault injection into VHDL models: The MEFISTO tool," in Proc. 24th FTCS Symp., 1994, pp. 66-75.
16. G. Kanawati, N. Kanawati, and J. Abraham, "FERRARI: A tool for the validation of system dependability properties," in Proc. 22nd FTCS Symp., 1992, pp. 336-344.
17. J. Karlsson et al., "Using heavy-ion radiation to validate fault handling mechanisms," IEEE Micro, vol. 14, no. 1, pp. 8-32, 1994.
18. J. Karlsson et al., "Application of three physical fault injection techniques to the experimental assessment of the MARS architecture," in Proc. 5th DCCA Conf., 1995, pp. 150-161.
19. P. K. Lala, Fault Tolerant and Fault Testable Hardware Design: Prentice Hall, 1985.
20. J. C. Laprie, "Dependability-Its attributes, impairments and means," in Predictably Dependable Computing Systems, B. Randell, J. C. Laprie, H. Kopetz, and B. Littlewood, Eds: Springer-Verlag, 1995, pp. 1-28.
21. H. Madeira, M. Rela, F. Moreira, and J. G. Silva, "A general purpose pin-level fault injector," in Proc. 1st European Dependable Computing Conf., 1994, pp. 199-216.
22. D. Powel, E. Martins, J. Arlat, and Y. Crouzet, "Estimators for fault tolerance coverage evaluation," IEEE Trans. Comput., vol. 44, pp. 261-274, Feb. 1995.
23. D. Powel, M. Cukier, and J. Arlat, "On stratified sampling for high coverage estimators," in Proc. 2nd European Dependable Computing Conf., 1996, pp. 37-54.
24. J. R. Samson, Jr., W. Moreno, and F. Falquez, "A technique for automated validation of fault tolerant designs using laser fault injection (LFI)," in Proc. 28th FTCS Symp., 1998, pp. 162-167.
25. D. T. Scott, G. Ries, M. Hsueh, and R. K. Iyer, "Dependability analysis of a high-speed network using software-implemented fault injection and simulated fault injection," IEEE Trans. Comput., vol. 47, no. 1, pp. 108-119, Jan. 1998.
26. Z. Segal and T. Lin, "FIAT: Fault injection based automated testing environment," in Proc. 18th FTCS Symp., 1988, pp. 102-107.
27. J. G. Silva et al., "Experimental assessment of parallel systems," in Proc. 26th FTCS Symp., 1996, pp. 415-424.
28. D. P. Siewiorek and R. S. Swarz, Reliable Computer Systems Design and Evaluation: A. K. Peters Ltd., 1998.
29. K. S. Trivedi, Probability and Statistics with Reliability, Queuing, and Computer Science Applications: Prentice-Hall, 1982, ch. 10.
30. C. J. Walter, "Evaluation and design of an ultra reliable distributed architecture for fault tolerance," IEEE Trans. Rel., vol. 39, no. 4, pp. 492-499, 1990.
31. "PROTO language," Intel Corp., Design Technology Documentation PROT03, 1995.