Using physical and simulated fault injection to evaluate error detection mechanisms

Proceedings - 1999 Pacific Rim International Symposium on Dependable Computing, PRDC 1999

Volumn , Issue , 1999, Pages 186-192

  Constantinescu, Cristian ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; ERRORS; SOFTWARE TESTING;

CONDITIONAL PROBABILITIES; COVERAGE PROBABILITIES; DEPENDABLE COMPUTING; DETECTION MECHANISM; ERROR DETECTION COVERAGE; ERROR-DETECTION MECHANISM; SILICON IMPLEMENTATION; THREE DIMENSIONAL SPACE;

FAULT DETECTION;

EID: 33749982387     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.1999.816228     Document Type: Conference Paper

References (30)

1. J. Arlat et al, "Fault Injection for Dependability Validation: A Methodology and Some Applications", IEEE Transactions on Software Engineering, Vol. 16, No. 2, 1990, pp.166-182.
2. J. Barton, E. Czeck, Z. Segall, D. Siewiorek, "Fault Injection Experiments using FIAT", IEEE Transactions on Computers, Vol. 39, No. 4, 1990, pp. 575-582.
3. J. Carreira, H. Madeira, J. G. Silva, "Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers", IEEE Trans. Software Engineering, Feb 98, pp. 125-136.
4. R. Chillarege, N. Bowen, "Understanding Large Systems Failures-A fault Injection Experiment", Proceedings of 19th FTCS Symposium, 1989, pp. 356-363.
5. C.Constantinescu, "Validation of the Fault/Error Handling Mechanisms of the Teraflops Supercomputer", Proceedings of 28th FTCS Symposium, 1998, pp. 382-389.
6. C. Constantinescu, "Estimation of Coverage Probabilities for Dependability Validation of Fault-Tolerant Computing Systems", Proceedings of 9th Annual Conf. on Computer Assurance, Gaithersburg, 1994, pp. 101-106.
7. C. Constantinescu, "Using Multi-stage & Stratified Sampling for Inferring Fault Coverage Probabilities", IEEE Transactions on Reliability, Vol. 44, No. 4, 1995, pp. 632-639.
8. K. Echtle, M. Leu, "The EFA Fault Injector for Fault Tolerant Distributed System Testing", Proceedings of Fault Tolerant Parallel and Distributed Systems Workshop, 1992, pp. 28-35.
9. P. Folkesson, S. Svensson, J. Karlsson, "A Comparison of Simulated Based and Scan Chain Implemented Fault Injection", Proceedings of 28th FTCS Symposium, 1998, pp. 284-293.
10. A. Ghosh, B. Johnson, "System-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications", Proceedings of IEEE International Computer Performance and Dependability Symposium, 1995, pp. 194-203.
11. K. Goswami, R.K. Iyer, L. Young, "DEPEND: A Simulation Based Environment for System Level Dependability Analysis", IEEE Transactions on Computers, Vol. 46, No. 1, 1997, pp. 60-74.
12. S. Han, K. Shin, H. Rosenberg, "DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real- Time Systems", Proceedings of IEEE International Computer Performance and Dependability Symposium, 1995, pp. 204-213.
13. M.C. Hsueh, T. K. Tsai, R. K. Iyer, "Fault Injection Techniques and Tools", IEEE Computer, April 97, pp. 75-82.
14. R. K. Iyer, "Experimental Evaluation" 25th FTCS Symposium, Special Issue, 1995, pp. 115-132.
15. E. Jenn et al, "Fault Injection into VHDL Models: The MEFISTO tool", Proceedings of 24th FTCS Symposium, 1994, pp. 66-75.
16. G. Kanawati, N. Kanawati, J. Abraham, "FERRARI: A Tool for the Validation of System Dependability Properties", Proceedings of 22nd FTCS Symposium, 1992, pp. 336-344.
17. J. Karlsson et al, "Using Heavy-ion Radiation to Validate Fault Handling Mechanisms", IEEE Micro, Vol. 14, No. 1, 1994, pp. 8-32.
18. J. Karlsson et al, "Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture", Proceedings of 5th DCCA Conference, 1995, pp. 150-161.
19. P. K. Lala, "Fault Tolerant and Fault Testable Hardware Design", Prentice Hall Int., NY, 1985.
20. H. Madeira, M. Rela, F. Moreira, J. G. Silva, "A General Purpose Pin-level Fault Injector", Proceedings of 1st European Dependable Computing Conference, Berlin, Germany, 1994, pp. 199-216.
21. D. Powel, E. Martins, J. Arlat, Y. Crouzet, "Estimators for fault tolerance coverage evaluation", IEEE Trans. Computers, Feb 95, pp. 261-274.
22. D. Powel, M. Cukier, J. Arlat, "On Stratified Sampling for High Coverage Estimators", Proceedings 2nd European Dependable Computing Conference, Italy, 1996, pp. 37-54.
23. J. R. Samson Jr., W. Moreno, F. Falquez, "A Technique for Automated Validation of Fault Tolerant Designs Using Laser Fault Injection (LFI)", Proceedings of 28th FTCS Symposium, 1998, pp. 162-167.
24. D. T. Scott, G. Ries, M. Hsueh, R. K. Iyer, "Dependability Analysis of a High-Speed Network Using Softwareimplemented Fault Injected and Simulated Fault Injection", IEEE Transactions on Computers, Jan. 1998, pp. 108-119.
25. Z. Segal, T. Lin, "FIAT: Fault Injection Based Automated Testing Environment", Proceedings of 18th FTCS Symposium, 1988, pp. 102-107.
26. J. G. Silva et al, "Experimental Assessment of Parallel Systems", Proceedings of 26th FTCS Symposium, 1996, pp. 415-424.
27. D. P. Siewiorek, R. S. Swarz, "The Theory and Practice of Reliable Design, Digital Press, Digital Equipment Corp., 1984, Bedford, Massachusetts.
28. K. S. Trivedi, "Probability and Statistics with Reliability, Queuing, and Computer Science Applications", Ch. 10, Prentice-Hall, 1982.
29. C. J. Walter, "Evaluation and Design of an Ultra reliable Distributed Architecture for Fault Tolerance", IEEE Transactions on Reliability, Vol. 39, No. 4, 1990, pp. 492-499.
30. "PROTO Language", Design Technology Documentation PROT03, Intel Corp, 1995.