Relating Among System Diagnosis Models with Three-Valued Test Outcomes,
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)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 01, 1983
- Accession Number
- ADP002374
Entities
People
- J. T. Butler
Organizations
- Northwestern University