A Generalized Theory for System Level Diagnosis
IEEE Transactions on Computers
Topological Properties of Hypercubes
IEEE Transactions on Computers
Diagnosabilities of Hypercubes Under the Pessimistic One-Step Diagnosis Strategy
IEEE Transactions on Computers
Diagnosability of the Möbius Cubes
IEEE Transactions on Parallel and Distributed Systems
Topological properties of twisted cube
Information Sciences—Informatics and Computer Science: An International Journal
The diagnosability of hypercubes with arbitrarily missing links
Journal of Systems Architecture: the EUROMICRO Journal
Conditional Diagnosability Measures for Large Multiprocessor Systems
IEEE Transactions on Computers
Characterization of Connection Assignment of Diagnosable Systems
IEEE Transactions on Computers
A Diagnosis Algorithm for Distributed Computing Systems with Dynamic Failure and Repair
IEEE Transactions on Computers
An 0(n2.5) Fault Identification Algorithm for Diagnosable Systems
IEEE Transactions on Computers
Fault Diagnosis in a Boolean n Cube Array of Microprocessors
IEEE Transactions on Computers
Computer
Diagnosable evaluation of DCC linear congruential graphs under the PMC diagnostic model
Information Sciences: an International Journal
A fast fault-identification algorithm for bijective connection graphs using the PMC model
Information Sciences: an International Journal
Diagnosability of star graphs with missing edges
Information Sciences: an International Journal
Fault isolation and identification in general biswapped networks under the PMC diagnostic model
Theoretical Computer Science
Hi-index | 0.00 |
The problem of fault diagnosis has been discussed widely and the diagnosability of many well-known networks has been explored. Under the PMC model, we introduce a new measure of diagnosability, called local diagnosability, and derive some structures for determining whether a vertex of a system is locally t{\hbox{-}}{\rm diagnosable}. For a hypercube, we prove that the local diagnosability of each vertex is equal to its degree under the PMC model. Then, we propose a concept for system diagnosis, called the strong local diagnosability property. A system G(V,E) is said to have a strong local diagnosability property if the local diagnosability of each vertex is equal to its degree. We show that an n{\hbox{-}}{\rm dimensional} hypercube Q_{n} has this strong property, n \geq 3. Next, we study the local diagnosability of a faulty hypercube. We prove that Q_{n} keeps this strong property even if it has up to n - 2 faulty edges. Assuming that each vertex of a faulty hypercube Q_{n} is incident with at least two fault-free edges, we prove Q_{n} keeps this strong property even if it has up to 3(n - 2) - 1 faulty edges. Furthermore, we prove that Q_{n} keeps this strong property no matter how many edges are faulty, provided that each vertex of a faulty hypercube Q_{n} is incident with at least three fault-free edges. Our bounds on the number of faulty edges are all tight.