Title :
On the diagnosability of systems with three valued test results: diagnosis by comparison strategy
Author :
Sengupta, A. ; Rhee, C.
Author_Institution :
Dept. of Comput. Sci., South Carolina Univ., Columbia, SC, USA
Abstract :
A model of self-diagnosable multiprocessor systems, in which the faulty processors are determined by comparing the results of identical tasks performed by a pair of processors in the system, was introduced by J. Maeng and M. Malek (1981). An analysis is presented of the diagnosability problems for such a model when the result of comparison is three-valued. A set of criteria is given for determining whether the faulty processors in the system can be diagnosed on the basis of comparisons
Keywords :
multiprocessing systems; ternary logic; diagnosability; self-diagnosable multiprocessor systems; three valued test results; Automatic testing; Computer science; Fault detection; Fault diagnosis; Information analysis; Information systems; Multiprocessing systems; Performance evaluation; System testing;
Conference_Titel :
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Conference_Location :
Charlotte, NC
Print_ISBN :
0-8186-2046-3
DOI :
10.1109/ISMVL.1990.122606
