Issue No.07 - July (2003 vol.52)
Toru Araki , IEEE Computer Society
Yukio Shibata , IEEE
<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.
Toru Araki, Yukio Shibata, "(t, k)-Diagnosable System: A Generalization of the PMC Models", IEEE Transactions on Computers, vol.52, no. 7, pp. 971-975, July 2003, doi:10.1109/TC.2003.1214345