Connection Assignments for Probabilistically Diagnosable Systems

1 March 1978

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers

Vol. C-27 (3) , 280-283
https://doi.org/10.1109/tc.1978.1675087

Abstract

This correspondence is concerned with probabilistic fault diagnosis for digital systems. A graph-theoretic model of a diagnosable system introduced by Preparata et al.[3] is considered in which a system is made up of a number of units with the probability of failure. The necessary and sufficient conditions are obtained for the existence of testing links (a connection) to form probabilistically t-diagnosable systems with and without repair. Methods for connection assignments are given for probabilistic fault diagnosis procedures with and without repair. Maheshwari and Hakimi [10] gave the necessary and sufficient condition for a system to be probabilistically t-diagnosable Without repair. In this correspondence, we show the necessary and sufficient condition for a system to be probabilistically t-diagnosable with repair.

This publication has 9 references indexed in Scilit:

Analysis of Digital Systems Using a New Measure of System Diagnosis
IEEE Transactions on Computers, 1979
On Models for Diagnosable Systems and Probabilistic Fault Diagnosis
IEEE Transactions on Computers, 1976
System Fault Diagnosis: Masking, Exposure, and Diagnosability Without Repair
IEEE Transactions on Computers, 1975
System Fault Diagnosis: Closure and Diagnosability with Repair
IEEE Transactions on Computers, 1975
Characterization of Connection Assignment of Diagnosable Systems
IEEE Transactions on Computers, 1974
Computer Diagnosis Using the Blocking Gate Approach
IEEE Transactions on Computers, 1971
Completely self-diagnosable digital systems
International Journal of Systems Science, 1971
On the Connection Assignment Problem of Diagnosable Systems
IEEE Transactions on Electronic Computers, 1967
On Computer Self-Diagnosis Part I-Experimental Study of a Processor
IEEE Transactions on Electronic Computers, 1966