Some Existence Theorems for Probabilistically Diagnosable Systems

1 April 1978

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

Vol. C-27 (4) , 379-384
https://doi.org/10.1109/tc.1978.1675111

Abstract

This correspondence is concerned with probabilistic fault diagnosis for digital systems. The model considered in this correspondence is the diagnostic model introduced by Maheshwari and Hakimi where each unit has a probability of failure. For this model under both fault assumptions by Maheshwari-Hakimi and by Barsi-Grandoni-Maestrini, some existence theorems are obtained for probabilistically diagnosable systems. 1) Necessary and sufficient conditions for the existence of testing links to form probabilistically t-diagnosable systems with and without repair. 2) Necessary and sufficient conditions for the existence of probabilities of failure of all units to form probabilistically t-diagnosable systems with and without repair which have no hardcore.

Keywords

This publication has 10 references indexed in Scilit:

Analysis of Digital Systems Using a New Measure of System Diagnosis
IEEE Transactions on Computers, 1979
A Theory of Diagnosability of Digital Systems
IEEE Transactions on Computers, 1976
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