Accession Number : ADP002374

Title :   Relating Among System Diagnosis Models with Three-Valued Test Outcomes,

Corporate Author : NORTHWESTERN UNIV EVANSTON IL DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE

Personal Author(s) : Butler,J. T.

Report Date : MAY 1983

Pagination or Media Count : 6

Abstract : Three models of multiprocessing systems are compared on the basis of the accuracy of the diagnosis of faulty processors. One model is the conventional system with binary-valued test outcomes (pass and fail). The other models have three-valued test outcomes, where the third value is either a missing or an incorrect test result. It is shown that, in general multiprocessing systems, there is a hierarchy among the three models with respect to diagnosability. However, in systems where no two processors test each other, the models are on par, and established criteria for diagnosability in binary systems can be used in both of the three-valued systems. (Author)

Descriptors :   *Faults, *Detection, *Systems analysis, *Multiprocessors, *Diagnosis(General), *Symposia, Accuracy, Hierarchies, Models

Distribution Statement : APPROVED FOR PUBLIC RELEASE