Characterization of Connection Assignment of Diagnosable Systems
IEEE Transactions on Computers
Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes
IEEE Transactions on Computers
On the Diagnosis of System Faults with Propagation
IEEE Transactions on Computers
An Algorithm for Determining the Fault Diagnosability of a System
IEEE Transactions on Computers
On the Diagnosability of a General Model of System with Three-Valued Test Outcomes
IEEE Transactions on Computers
A Generalized Theory for System Level Diagnosis
IEEE Transactions on Computers
Diagnostic Model and Diagnosis Algorithm of a SIMD Computer
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
Distributed off-line testing of parallel systems
ATS '95 Proceedings of the 4th Asian Test Symposium
Worst-Case Diagnosis Completeness in Regular Graphs under the PMC Model
IEEE Transactions on Computers
IEEE Transactions on Computers
On System Diagnosability in the Presence of Hybrid Faults
IEEE Transactions on Computers
Some Existence Theorems for Probabilistically Diagnosable Systems
IEEE Transactions on Computers
Diagnosable Systems for Intermittent Faults
IEEE Transactions on Computers
An 0(n2.5) Fault Identification Algorithm for Diagnosable Systems
IEEE Transactions on Computers
Diagnosis Without Repair for Hybrid Fault Situations
IEEE Transactions on Computers
Fault-Tolerant Computing: A Introduction
IEEE Transactions on Computers
Diagnosis of Systems with Asymmetric Invalidation
IEEE Transactions on Computers
Greedy Diagnosis of Hybrid Fault Situations
IEEE Transactions on Computers
Speed-Efficiency-Complexity Tradeoffs in Universal Diagnosis Algorithms
IEEE Transactions on Computers
Greedy Diagnosis as the Basis of an Intermittent-Fault/ Transient-Upset Tolerant System Design
IEEE Transactions on Computers
On the Computational Complexity of System Diagnosis
IEEE Transactions on Computers
International Journal of Parallel, Emergent and Distributed Systems
Automation and Remote Control
A Diagnosis Algorithm for the BGM System Level Fault Model
IEEE Transactions on Computers
A fault diagnosis algorithm for asymmetric modular architectures
IEEE Transactions on Computers
Probabilistic diagnosis of clustered faults for shared structures
Mathematical and Computer Modelling: An International Journal
Conditional diagnosability of matching composition networks under the MM* model
Information Sciences: an International Journal
System-level fault diagnosis in fixed topology mobile ad hoc networks
International Journal of Communication Networks and Distributed Systems
Fault isolation and identification in general biswapped networks under the PMC diagnostic model
Theoretical Computer Science
Hi-index | 15.06 |
The problem of automatic fault diagnosis of systems decomposed into a number of interconnected units is considered by using a simplified version of the diagnostic model introduced by Preparata et al. The model used in this paper is supposed to be a realistic representation of systems where each unit has a considerable computational capability. For any system of n units whose set of testing links is given, necessary and sufficient conditions for t-diagnosability are presented in both cases of one-step diagnosis and diagnosis with repair, and it is shown that the procedure for diagnosis with repair has very small complexity. The problem of optimal assignment of testing links in order to achieve a given diagnosability is also considered and classes of optimal t-diagnosable systems are presented for arbitrary values of t in both cases of one-step diagnosis and diagnosis with repair.