Abstract :
A model for the representation of diagnostic test-fault relationships is presented which provides increased flexibility over previous models and is adaptable to handling large-scale integrated systems. Several forms of the model are given and methods for transforming from one form to another are presented. Procedures are given for assessing the diagnostic capability of the test set and theorems are presented which give necessary and sufficient conditions in terms of the model for diagnosability with and without fault repair. Finally, the model is compared to a number of existing models to demonstrate its flexibility.
Keywords :
Diagnostic resolution, digital systems, fault diagnosis, module level diagnosis, multiple faults, switching theory.; Digital systems; Fault diagnosis; Large scale integration; Performance evaluation; Processor scheduling; Sufficient conditions; System testing; Diagnostic resolution, digital systems, fault diagnosis, module level diagnosis, multiple faults, switching theory.;
