The t/k-diagnosability for regular networks

Limei Lin, Li Xu, Shuming Zhou, Sun Yuan Hsieh

Research output: Contribution to journalArticlepeer-review

23 Citations (Scopus)


The t/k -diagnosis strategy can significantly enhance the system's self-diagnosing capability at the expense of no more than k fault-free processors (vertices) being mistakenly diagnosed as faulty under the PMC model. It is a generalization of the precise and pessimistic diagnosis strategies of system-level diagnosis on multiprocessor systems. It can detect up to t faulty processors (vertices) which might include at most k misdiagnosed processors (vertices), where k is typically a small number. In the case k≥ 1 , to our knowledge, there is no known t/k -diagnosis algorithm for general regular networks. In this paper, we first propose a general t/k -diagnosis (k≥ 1) algorithm for some m -regular networks. These m -regular networks satisfying some conditions could establish the t/k -diagnosis algorithm, say t/k - G -DIAG , to determine the t/k -diagnosability. The complexity of this algorithm is only O(N log N) (when N≥ 2m) or O(Nm) (when N< 2m) where N is the number of vertices in the network. Second, we present a complete proof that the network G is actually t/k -diagnosable. Finally, we establish the t/k -diagnosability (1≤ k≤ 3) of some regular networks, including an n -dimensional alternating group graph, an n -dimensional Split-Star Network, a ln -hypermesh and an (n,l) -star graph, which are well-known interconnection networks proposed for multiprocessor systems.

Original languageEnglish
Article number7366747
Pages (from-to)3157-3170
Number of pages14
JournalIEEE Transactions on Computers
Issue number10
Publication statusPublished - 2016 Oct 1

All Science Journal Classification (ASJC) codes

  • Software
  • Theoretical Computer Science
  • Hardware and Architecture
  • Computational Theory and Mathematics


Dive into the research topics of 'The t/k-diagnosability for regular networks'. Together they form a unique fingerprint.

Cite this