標題: A local diagnosability measure for multiprocessor systems
作者: Hsu, Guo-Huang
Tan, Jimmy J. M.
資訊工程學系
Department of Computer Science
關鍵字: PMC model;local diagnosability;strong local diagnosability property
公開日期: 1-五月-2007
摘要: 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-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-dimensional hypercube Q(n) has this strong property, n >= 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.
URI: http://dx.doi.org/10.1109/TPDS.2007.1022
http://hdl.handle.net/11536/10871
ISSN: 1045-9219
DOI: 10.1109/TPDS.2007.1022
期刊: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
Volume: 18
Issue: 5
起始頁: 598
結束頁: 607
顯示於類別:期刊論文


文件中的檔案:

  1. 000245136400003.pdf