The Community for Technology Leaders
Green Image
Issue No. 07 - July (2003 vol. 52)
ISSN: 0018-9340
pp: 971-975
Toru Araki , IEEE Computer Society
ABSTRACT
<p><b>Abstract</b>—In this paper, we introduce a new model for diagnosable systems called (t,k)-diagnosable system which guarantees that at least k faulty units (processors) in a system are detected provided that the number of faulty units does not exceed t. This system includes classical one-step diagnosable systems and sequentially diagnosable systems. We prove a necessary and sufficient condition for (t,k)-diagnosable system, and discuss a lower bound for diagnosability. Finally, we deal with a relation between (t,k)-diagnosability and diagnosability of classical basic models.</p>
INDEX TERMS
Fault diagnosis, PMC model, one-step t-diagnosis, sequential t-diagnosis, diagnosability, Cartesian product.
CITATION
Yukio Shibata, Toru Araki, "(t, k)-Diagnosable System: A Generalization of the PMC Models", IEEE Transactions on Computers, vol. 52, no. , pp. 971-975, July 2003, doi:10.1109/TC.2003.1214345
101 ms
(Ver )