Software-implemented fault detection for high-performance space applications

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2000, Pages 107-116

  Turmon, Michael ^a   Granat, Robert ^a   Katz, Daniel S ^a  

^a CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHECKSUM METHODS; FAULT DETECTION; NUMERICAL SUBROUTINE; RADIATION INDUCED ERRORS;

CALCULATIONS; ERROR DETECTION; FAULT TOLERANT COMPUTER SYSTEMS; NUMERICAL METHODS; PARALLEL PROCESSING SYSTEMS; SOFTWARE ENGINEERING; SPACE APPLICATIONS; SPACE TELESCOPES; SUBROUTINES;

COMPUTER SYSTEM RECOVERY;

EID: 0034590735     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDSN.2000.857522     Document Type: Conference Paper

References (14)

1. M. Blum and S. Kannan. Designing programs that check their work. In Proc. 21st Symp. Theor. Comput., pages 86-97, 1989.
2. M. Blum, M. Luby, and R. Rubinfield, Self-testing correcting with applications to numerical problems. Journal of computer and system sciences, 47 (3):549-595, 1993.
3. M. Blum and H. Wasserman. Reflections on the Pentium division bug. IEEE Trans. Computing, 45(4):385-393, 1996.
4. D. L. Boley, R. P. Brent, G. H. Golub, and F. T. Luk. Algorithmic fault tolerance using the Lanczos method. SIAM J. Matrix Anal. Appl., 13(1):312-332, 1992.
5. F. Chen, L. Craymer, J. Deifik, A. J. Fogel, D. S. Katz, A. G. S. Jr., R. R. Some, S. A. Upchurch, and K. Whisnant Demonstration of the REE fault-tolerant parallel-processing supercomputer for spacecraft onboard scientific data processing. In Proc. ICDSN (FTCS-30 & DCCA-8), 2000.
6. A.-R. Chowdhury and P. Banerjee. A new error analysis based method for tolerance computation for algorithm-based checks. IEEE Trans. Computing, 45(2), 1996.
7. M. P. Connolly and P. Fitzpatrick. Fault-tolerant QRD recursive least squares. IEE Proc. Comput. Digit. Tech., 143(2):137-144, 1996. (IEE, not IEEE).
8. G. H. Golub and C. F. V. Loan. Matrix Computations. Johns Hopkins Univ., Baltimore, second edition, 1989.
9. K.-H. Huang and J. A. Abraham. Algorithm-based fault tolerance for matrix operations. IEEE Trans. Computing, 33(6):518-528, 1984.
10. F. T. Luk and H. Park. An analysis of algorithm-based fault tolerance techniques. Journal of Parallel and Distributed Computing, 5:172-184, 1988.
11. REE project, March 1999. "Project Plan: Remote Exploration and Experimentation (REE) Project," available at www-ree.jp.nasa.gov.
12. P. Prata and J. G. Silva. Algorithm-based fault tolerance versus result-checking for matrix computations. In Proc. FTCS-29, pages 4-11, 1999.
13. S. J. Wang and N. K. Jha. Algorithm-based fault tolerance for FFT networks. IEEE Trans. Computing, 43(7):849-854, 1994.
14. H. Wasserman and M. Blum. Software reliability via run-time result-checking. Journal of the ACM, 44(6):826-849, 1997.