System Fault Diagnosis: Closure and Diagnosability with Repair
- 1 November 1975
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-24 (11) , 1078-1089
- https://doi.org/10.1109/t-c.1975.224136
Abstract
Determination of the detectability and diagnosability of a digital system containing at most t faulty system components is considered. The model employed is to an extent independent of the means used to implement diagnostic procedures, i.e., whether the tests are accomplished via hardware, software, or combinations thereof. A parameter, called the closure index, is defined which characterizes the capability for executing valid tests in the presence of faults. The closure index can be thought of as the size of the smallest potentially undetectable multiple-fault in the system as modeled. On the basis of this parameter, results are presented which permit the determination of t-fault detectability and t-fault diagnosability with repair for the system. Examples are presented to illustrate the application of the model for systems close to those encountered in actual practice.Keywords
This publication has 8 references indexed in Scilit:
- Improved Procedures for Determining Diagnostic ResolutionIEEE Transactions on Computers, 1972
- Completely self-diagnosable digital systemsInternational Journal of Systems Science, 1971
- An Analysis Model for Digital System DiagnosisIEEE Transactions on Computers, 1970
- GRAPH THEORYPublished by Defense Technical Information Center (DTIC) ,1969
- Identification of Symmetry, Redundancy and Equivalence of Boolean FunctionsIEEE Transactions on Electronic Computers, 1967
- On the Connection Assignment Problem of Diagnosable SystemsIEEE Transactions on Electronic Computers, 1967
- A structural theory of machine diagnosisPublished by Association for Computing Machinery (ACM) ,1967
- An integrated approach to automated computer maintenancePublished by Institute of Electrical and Electronics Engineers (IEEE) ,1965