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
Published in:
Multiple-Valued Logic, 1990., Proceedings of the Twentieth International Symposium on
Date of Conference: 23-25 May 1990