Fault-injection-based testing of fault-tolerant algorithms in message-passing parallel computers

Digest of Papers - 27th Annual International Symposium on Fault-Tolerant Computing, FTCS 1997

Volumn , Issue , 1997, Pages 258-267

  Blough, Douglas M ^a   Torii, Tatsuhiro ^a  

^a University of California at Irvine   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANT COMPUTER SYSTEMS; MEMORY ARCHITECTURE; MESSAGE PASSING; SOFTWARE TESTING;

ALGORITHM BASED FAULT TOLERANCE; DISTRIBUTED-MEMORY PARALLEL COMPUTERS; FAULT TOLERANT ALGORITHMS; INHERENT REDUNDANCY; INTER PROCESSOR COMMUNICATION; MESSAGE PASSING PARADIGMS; SOFTWARE IMPLEMENTED FAULT TOLERANCES; UNICAST COMMUNICATION;

FAULT TOLERANCE;

EID: 84948772203     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTCS.1997.614098     Document Type: Conference Paper

References (34)

1. D. Aviesky, et al., "Fault Injection for the Formal Testing of Fault Tolerance," FTCS-22 Digest, pp. 345-354, 1992.
2. M. Barborak, M. Malek, and A. Dahbura, "The Consensus Problem in Fault-Tolerant Computing," ACM Computing Surveys, Vol. 25, pp. 171-220, June 1993.
3. J. Barton, et al., "Fault Injection Experiments Using FIAT," IEEE Trans, on Comp., vol. 39, pp. 575-582, Apr. 1990.
4. D. Blough and H. Wang, "The Broadcast Comparison Model for On-Line Fault Diagnosis in Multicomputer Systems: Theory and Implementation," submitted to IEEE Trans. Comp.
5. J. Carreira, H. Madeira, and J. G. Silva, "Assessing the Effects of Communication Faults on Parallel Applications," Proc. Int'l Comp. Perf. and Depend. Symp., pp. 214-223, 1995.
6. J. Clark and D.K. Pradhan, "REACT: A Synthesis and Evaluation Tool for Fault-Tolerant Multiprocessor Architectures," Proc. 1993 Reliab. and Maintain. Symp., pp. 428-435.
7. J. Clark and D.K. Pradhan, "Fault Injection - A Method for Validating Computer-System Dependability," IEEE Computer, vol. 28, pp. 47-56, June 1995.
8. F. Cristian, H. Aghili, and R. Strong, "Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement" FTCS-15 Digest, pp. 200-206, 1985.
9. F. Cristian, H. Aghili, and R. Strong, "Clock Synchronization in the Presence of Omissions and Performance Faults and Processor Joins," FTCS-16 Digest, pp. 218-223, 1986.
10. S. Dawson, F. Jahanian, and T. Mitton, "A Software Fault Injection Tool on Real-Time Mach," Proc. RTSS-16, pp. 130-140, 1995.
11. S. Dawson, et al., "Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injection," FTCS-26 Digest, pp. 404-414, 1996.
12. T. Dilenno, D. Yaskin, and J. Barton, "Fault Tolerance Testing in the Advanced Automation System," FTCS-21 Digest, pp. 18-25, 1991.
13. D. Dolev, "The Byzantine Generals Strike Again," J. Algorithms, vol. 3, pp. 14-20, 1982.
14. K. Echtle and Y. Chen, "Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing," FTCS-21 Digest, pp. 418-425, 1991.
15. K. Echtle and M. Leu, "The EFA Fault Injector for Fault-Tolerant Distributed System Testing," Proc. 1992 FTPDS Workshop, pp. 28-35.
16. K. Goswami, R. Iyer, and L. Young, "DEPEND: A simulation-based environment for system level dependability analysis," IEEE Transactions on Computers, vol.46, pp. 60-74, Jan. 1997.
17. R. Iyer, "Experimental Evaluation," FTCS-25 Special Issue, pp. 115-132, 1995.
18. S.L. Johnsson and C.-T. Ho, "Optimum Broadcasting and Personalized Communication in Hypercubes," IEEE Trans. Comp., vol. 38, pp. 1249-1268, Sep. 1989.
19. W.-L. Kao and R. Iyer, "DEFINE: A Distributed Fault Injection and Monitoring Environment," Fault-Tolerant Par. and Dist. Sys., IEEE Comp. Soc. Press, pp. 252-259, 1994.
20. H. Katseff, "Incomplete Hypercubes," IEEE Trans. Comp., vol. 37, pp. 604-608, May 1988.
21. R. Kieckhafer, et al. "The MAFT Architecture for Distributed Fault Tolerance," IEEE Trans. Comp., Vol. 37, pp. 398-405, Apr. 1988.
22. J. Lala, "Fault Detection, Isolation, and Reconfiguration in FTMP: Methods and Experimental Results," Proc. 5th AIAA/IEEE Digital Avionics Sys. Conf., pp. 21.3.1-21.3.9, 1983.
23. L. Lamport and P.M. Melliar-Smith, "Synchronizing Clocks in the Presence of Faults," J ACM, vol. 32, pp. 52-78, January 1985.
24. B.F. Lewis, et al., "COSMOS Multicomputer Operating System and Development Environment Functional Specification", NASA/JPL Tech. Memo., Aug. 1992.
25. B.F. Lewis and R.L. Bunker, "MAX: An Advanced Parallel Computer for Space Applications", Proc. 2nd Int'l Symp. Space Info. Sys., Sep. 1990.
26. P. Lincoln and J. Rushby, "A Formally Verified Algorithm for Interactive Consistency under a Hybrid Fault Model," FTCS-23 Digest, pp. 402-411, 1993.
27. S. Mullender, Distributed Systems, Chapter 5, Addison-Wesley, 1993.
28. D. Powell, et al., "The Delta-4 Approach to Dependability in Open Distributed Computing Systems," FTCS-18 Digest, pp. 246-251, 1988.
29. H. Rosenberg and K. Shin, "Software Fault Injection and its Application in Distributed Systems," FTCS-23 Digest, pp. 208-217, 1993.
30. R. Schlichting and F. Schneider, "Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems," ACM Trans. Comp. Sys., vol. 1, pp. 222-238, Aug. 1983.
31. K. Shin and Y. Lee, "Measurement and Application of Fault Latency," IEEE Trans. Comp., vol. C-35, pp. 370-375, Apr. 1986.
32. J.G. Silva, et al., "Experimental Assessment of Parallel Systems," FTCS-26 Digest, pp. 415-424, 1996.
33. P. Thambidurai and Y-K Park, "Interactive Consistency with Multiple Failure Modes," Proc. SRDS-7, pp. 93-100, 1988.
34. J.H. Wensley, et al., "SIFT: Design and Analysis of a Fault-Tolerant Computer for Aircraft Control," Proc. IEEE, Vol. 66, pp. 1240-1255, Oct. 1978.