Issue No. 07 - July (1993 vol. 42)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.237719
<p>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.</p>
error location; optimal design of checks; error detection; fault-tolerant multiprocessor systems; RANDGEN; arbitrary data-check; algorithm-based fault tolerance; majority diagnosability; UNIFGEN; uniform checks; error detection; fault tolerant computing; multiprocessing systems.
N. Jha and R. Sitaraman, "Optimal Design of Checks for Error Detection and Location in Fault-Tolerant Multiprocessor Systems," in IEEE Transactions on Computers, vol. 42, no. , pp. 780-793, 1993.