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.
R.K. Sitaraman, N.K. Jha, "Optimal Design of Checks for Error Detection and Location in Fault-Tolerant Multiprocessor Systems", IEEE Transactions on Computers, vol.42, no. 7, pp. 780-793, July 1993, doi:10.1109/12.237719