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
<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>
Fault diagnosis, PMC model, one-step t-diagnosis, sequential t-diagnosis, diagnosability, Cartesian product.

Y. Shibata and T. Araki, "(t, k)-Diagnosable System: A Generalization of the PMC Models," in IEEE Transactions on Computers, vol. 52, no. , pp. 971-975, 2003.
86 ms
(Ver 3.3 (11022016))