Assessing error detection coverage by simulated fault injection

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1667 LNCS, Issue , 1999, Pages 161-170

  Constantinescu, Cristian ^a  

^a INTEL CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ERROR DETECTION; SOFTWARE TESTING;

CLIENT-SERVER COMPUTING; COMPLEX PROTOCOLS; COVERAGE PROBABILITIES; CRITICAL APPLICATIONS; ERROR DETECTION COVERAGE; ERROR-DETECTION MECHANISM; FAULT INJECTION; TRANSIENT FAULTS;

FAULT DETECTION;

EID: 84881254787     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48254-7_12     Document Type: Conference Paper

References (29)

1. Arlat, J. et al: Fault Injection for Dependability Validation: a Methodology and Some Applications. IEEE Trans. Software Engineering, 2 (1990) 166-182
2. Barton, J., Czeck, E., Segall, Z., Siewiorek, D.: Fault Injection Experiments using FIAT. IEEE Trans. Computers, 4 (1990) 575-582 (Pubitemid 20702270)
3. Carreira, J., Madeira, H., Silva, J. G.: Xception: A technique for the experimental evaluation of dependability in modern computers. IEEE Trans. Soft. Engineering, 2 (1998) 125-136 (Pubitemid 128740270)
4. th FTCS Symposium (1989) 356-363
5. th FTCS Symposium (1998) 382-389
6. th Annual Conf. Computer Assurance, Gaithersburg (1994) 101-106
7. Constantinescu, C.: Using Multi-stage & Stratified Sampling for Inferring Fault Coverage Probabilities. IEEE Trans. Reliability, 4 (1995) 632-639
8. Echtle, K., Leu, M.: The EFA Fault Injector for Fault Tolerant Distributed System Testing. Proc. Fault Tolerant Parallel and Distributed Systems Workshop, (1992) 28-35
9. th FTCS Symposium (1998) 284-293
10. Ghosh, A., Johnson, B.: System-Level Modeling in the ADEPT Environment of a Distributed Computer System for Real-Time Applications. Proc. IEEE International Computer Performance and Dependability Symposium (1995) 194-203
11. Goswami, K., Iyer, R.K., Young, L.: DEPEND: A Simulation Based Environment for System Level Dependability Analysis. IEEE Trans. Computers, 1 (1997) 60-74 (Pubitemid 127760616)
12. Han, S., Shin, K., Rosenberg, H.: DOCTOR: An Integrated Software Fault Injection Environment for Distributed Real-Time Systems. Proc. IEEE International Computer Performance and Dependability Symposium. (1995) 204-213
13. Hsueh, M.C., Tsai, T. K., Iyer, R. K.: Fault injection techniques and tools. IEEE Computer, 4 (1997) 75-82 (Pubitemid 127546072)
14. th FTCS Symp. (1995) 115-132
15. th FTCS Symposium (1994) 66-75
16. nd FTCS Symposium (1992) 336-344
17. Karlsson, J. et al.: Using Heavy-ion Radiation to Validate Fault Handling Mechanisms. IEEE Micro, 1 (1994) 8-32
18. th DCCA Conference (1995) 150-161
19. Lala, P. K.: Fault Tolerant and Fault Testable Hardware Design. Prentice Hall Int., New York (1985)
20. st European Dependable Computing Conference, (1994) 199-216
21. Powel, D., Martins, E., Arlat, J., Crouzet, Y.: Estimators for fault tolerance coverage evaluation. IEEE Trans. Computers, 2 (1995) 261-274
22. nd European Dependable Computing Conference (1996) 37-54
23. Scott, D. T., Ries, G., Hsueh, M., Iyer, R. K.: Dependability Analysis of a High-Speed Network Using Software-implemented Fault Injected and Simulated Fault Injection. IEEE Trans. Computers, 1 (1998) 108-119 (Pubitemid 128740945)
24. th FTCS Symposium (1988) 102-107
25. th FTCS Symposium (1996) 415-424
26. Siewiorek, D. P., Swarz, R. S.: The Theory and Practice of Reliable Design. Digital Press, Digital Equipment Corp., Bedford, Massachusetts (1984)
27. Trivedi, K. S.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. Prentice-Hall (1982)
28. Walter, C. J.: Evaluation and Design of an Ultra reliable Distributed Architecture for Fault Tolerance. IEEE Trans. Reliability, 4 (1990) 492-499
29. PROTO Language. Design Technology Documentation PROT03, Intel Corp (1995)