Title :
An Abstract Model for Digital System Fault Diagnosis
Author :
Kime, Charles R.
Author_Institution :
Department of Electrical and Computer Engineering, University of Wisconsin-Madison
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 :
Diagnostic modeling; diagnostic resolution; fault detection and location; multiple faults; system diagnosis; Circuit faults; Circuit testing; Computer errors; Digital systems; Electrical fault detection; Fault diagnosis; Fault tolerant systems; Hardware; Mathematical model; Redundancy; Diagnostic modeling; diagnostic resolution; fault detection and location; multiple faults; system diagnosis;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1979.1675243
