Title :
Optimal design of checks for error detection and location in fault-tolerant multiprocessor systems
Author :
Sitaraman, Ramesh K. ; Jha, Niraj K.
Author_Institution :
Princeton Univ., NJ, USA
fDate :
7/1/1993 12:00:00 AM
Abstract :
RANDGEN, a simple and efficient general-purpose algorithm for generating arbitrary data-check (DC) graphs with a small number of checks, which satisfy a variety of properties that have been found to be useful in algorithm-based fault tolerance (ABFT) designs, is proposed. The concept of majority diagnosability is introduced in an attempt to explicitly redesign DC graphs for easy diagnosis. UNIFGEN, a variation of RANDGEN that produces DC graphs with uniform checks is examined
Keywords :
error detection; fault tolerant computing; multiprocessing systems; RANDGEN; UNIFGEN; algorithm-based fault tolerance; arbitrary data-check; error detection; error location; fault-tolerant multiprocessor systems; majority diagnosability; optimal design of checks; uniform checks; Algorithm design and analysis; Contracts; DC generators; Fault detection; Fault tolerance; Fault tolerant systems; Finite impulse response filter; Matrix decomposition; Multiprocessing systems; Signal processing algorithms;
Journal_Title :
Computers, IEEE Transactions on
