This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Efficient Techniques for the Analysis of Algorithm-Based Fault Tolerance (ABFT) Schemes
April 1996 (vol. 45 no. 4)
pp. 499-503

Abstract—This paper presents a model which can be used to characterize the diagnosability of Algorithm-Based Fault Tolerant (ABFT) systems. In the model, the relationship between processors computing useful data, the output data, and the check processors is defined in terms of matrix entries. Necessary and sufficient conditions for detecting and locating faults in the processors are derived, and based on them, efficient algorithms to evaluate the fault detection and location capabilities of the system are developed.

[1] P. Banerjee and J.A. Abraham,"Concurrent Fault Diagnosis in Multiple Processor Systems," Proc. 16th Symp. Fault-Tolerant Computing, pp. 298-303,Vienna, 1986.
[2] K.H. Huang and J.A. Abraham,"Algorithm-Based Fault Tolerance for Matrix Operations," IEEE Trans. Computers, vol. 33, pp. 518-528, June 1984.
[3] V.S.S. Nair,"Analysis and Design of Algorithm-Based Fault-Tolerant Systems," PhD thesis, Univ. of Illi nois, Urbana, 1990.
[4] V.S.S. Nair and J.A. Abraham,"A Model for the Analysis of Fault-Tolerant Signal Processing Architectures," Proc. 32nd Int'l Tech. Symp. SPIE, pp. 246-257,San Diego, Calif., Aug. 1988.
[5] J.D. Russel and C.R. Kime,"System Fault Diagnosis: Closure and Diagnosability With Repair," IEEE Trans. Computers, vol. 24, pp. 1,078-1,088, 1973.
[6] J.D. Russel and C.R. Kime,"System Fault Diagnosis: Masking, Exposure, and Diagnosability Without Repair," IEEE Trans. Computers, vol. 24, pp. 1,155-1,161, 1975.

Index Terms:
Multiprocessor systems, faults and errors, system-level diagnosis, algorithm-based fault tolerance, modeling, and analysis.
Citation:
V.s.s. Nair, J.a. Abraham, P. Banerjee, "Efficient Techniques for the Analysis of Algorithm-Based Fault Tolerance (ABFT) Schemes," IEEE Transactions on Computers, vol. 45, no. 4, pp. 499-503, April 1996, doi:10.1109/12.494110
Usage of this product signifies your acceptance of the Terms of Use.