An Abstract Model for Digital System Fault Diagnosis
- 1 October 1979
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-28 (10), 754-767
- https://doi.org/10.1109/tc.1979.1675243
Abstract
An abstract model applicable to the use of both diagnostic programs and hardware diagnostic aids in digital systems is presented. The model is capable of dealing with replaceable units having a variety of complexity and is shown in a mathematically rigorous fashion to encompass existing models for diagnosis. A three-level structure for representing faults and a two-level structure for representing tests are employed. Faults, multiple faults, tests, and test results are represented by sets. Relationships between these entities are represented by binary relations and functions.Keywords
This publication has 15 references indexed in Scilit:
- System Fault Diagnosis: Masking, Exposure, and Diagnosability Without RepairIEEE Transactions on Computers, 1975
- System Fault Diagnosis: Closure and Diagnosability with RepairIEEE Transactions on Computers, 1975
- A New Representation for Faults in Combinational Digital CircuitsIEEE Transactions on Computers, 1972
- Improved Procedures for Determining Diagnostic ResolutionIEEE Transactions on Computers, 1972
- A Nand Model ror Fault Diagnosis in Combinational Logic NetworksIEEE Transactions on Computers, 1971
- An Analysis Model for Digital System DiagnosisIEEE Transactions on Computers, 1970
- Fault Testing and Diagnosis in Combinational Digital CircuitsIEEE Transactions on Computers, 1968
- Methods of Interpreting Diagnostic Data for Locating Faults in Digital MachinesBell System Technical Journal, 1967
- A structural theory of machine diagnosisPublished by Association for Computing Machinery (ACM) ,1967
- Fault detecting experiments for sequential circuitsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1964