On the diagnosability of systems with three valued test results: diagnosis by comparison strategy

摘要

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.