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

Volume

Issue

fYear

1993

fDate

7/1/1993 12:00:00 AM

Firstpage

780

Lastpage

793

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;

fLanguage

English

Journal_Title

Computers, IEEE Transactions on

Publisher

ieee

ISSN

0018-9340

Type

jour

DOI

10.1109/12.237719

Filename

237719

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=954695