An Analysis Model for Digital System Diagnosis

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.

[1]  J. Paul Roth,et al.  Programmed Algorithms to Compute Tests to Detect and Distinguish Between Failures in Logic Circuits , 1967, IEEE Trans. Electron. Comput..

[2]  Gary D. Hornbuckle,et al.  Diagnosis ofSingle-Gate Failures inCombinational circuits , 1969 .

[3]  GERNOT METZE,et al.  On the Connection Assignment Problem of Diagnosable Systems , 1967, IEEE Trans. Electron. Comput..

[4]  R. A. Johnson,et al.  An Information Theory Approach to Diagnosis , 1960 .

[5]  Gary D. Hornbuckle,et al.  Diagnosis of Single-Gate Failures in Combinational circuits , 1969, IEEE Transactions on Computers.

[6]  William H. Kautz,et al.  Fault Testing and Diagnosis in Combinational Digital Circuits , 1968, IEEE Transactions on Computers.

[7]  H. Y. Chang,et al.  Methods of interpreting diagnostic data for locating faults in digital machines , 1967 .

[8]  Herbert Y. Chang.  An Algorithm for Selecting an Optimum Set of Diagnostic Tests , 1965, IEEE Trans. Electron. Comput..

[9]  Donald L. Dietmeyer,et al.  Identification of Symmetry, Redundancy and Equivalence of Boolean Functions , 1967, IEEE Trans. Electron. Comput..

[10]  D. H. Rutherford,et al.  AN ARCHITECTURAL STUDY FOR A SELF-REPAIRING COMPUTER. , 1965 .

[11]  J. Paul Roth,et al.  Programmed Algorithms toCompute Tests toDetect andDistinguish Between Failures inLogic Circuits , 1967 .

[12]  Sundaram Seshu,et al.  The Diagnosis of Asynchronous Sequential Switching Systems , 1962, IRE Trans. Electron. Comput..

[13]  D. H. Rutherford,et al.  A self-diagnosable computer , 1965, AFIPS '65 (Fall, part I).

[14]  Stephen H. Unger,et al.  Minimizing the Number of States in Incompletely Specified Sequential Switching Functions , 1959, IRE Trans. Electron. Comput..

[15]  D. B. Armstrong.  OnFinding aNearly Minimal SetofFault Detection Tests forCombinational Logic Nets , 1966 .

[16]  Douglas B. Armstrong,et al.  On Finding a Nearly Minimal Set of Fault Detection Tests for Combinational Logic Nets , 1966, IEEE Trans. Electron. Comput..

[17]  J. Roth.  Algebraic topological methods for the synthesis of switching systems. I , 1958 .

[18]  T. J. Powell,et al.  A Procedure for Selecting Diagnostic Tests , 1969, IEEE Transactions on Computers.

[19]  Theo J. Powell,et al.  A Procedure forSelecting Diagnostic Tests , 1969 .

[20]  R. A. Johnson,et al.  Diagnosis of Equipment Failures , 1960 .

[21]  Raymond E. Miller,et al.  Sequential circuits and machines , 1965 .