This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
The PMC System Level Fault Model: Cardinality Properties of the Implied Faulty Sets
March 1989 (vol. 38 no. 3)
pp. 478-480
One aspect of the PMC system level fault model, the properties of the implied faulty sets, is considered. For tau -diagnosable systems that have at most tau faulty units, lower bounds on the cardinality of the maximal implied faulty sets are given. Then it is shown that these bounds are greatest lower bounds, and it is indicated how these results can be used in diagnosis algorithms.

[1] F. J. Allan, T. Kameda, and S. Toida, "An approach to the diagnosability analysis of a system,"IEEE Trans. Comput., vol. C- 24, pp. 1040-1042, Oct. 1975.
[2] K. Y. Chwa and S. L. Hakimi, "On fault identification in diagnosable systems,"IEEE Trans. Comput., vol. C-30, pp. 414-422, June 1981.
[3] A. T. Dahbura and G. M. Masson, "AnO(n2.5) fault identification algorithm for diagnosable systems,"IEEE Trans. Comput., vol. C- 33, pp. 486-492, June 1984.
[4] A. T. Dahbura, G. M. Masson, and C.-L. Yang, "Self-implicating structures for diagnosable systems,"IEEE Trans. Comput., vol. C-34, pp. 718-723, Aug. 1985.
[5] S. L. Hakimi and A. T. Amin, "Characterization of connection assignment of diagnosable systems,"IEEE Trans. Comput., vol. C- 23, pp. 84-88, Jan. 1974.
[6] T. Kameda, S. Toida, and F. J. Allan, "A diagnosing algorithm for networks,"Inform. Contr., vol. 29, pp. 141-148, 1975.
[7] M. A. Kennedy and G. G. L. Meyer, "Structured diagnosability conditions for the PMC system level fault model," Rep. JHU/EECS- 84/12, 1984.
[8] M. A. Kennedy and G. G. L. Meyer, "The PMC level fault model: Cardinality properties of the implied faulty sets," Rep. JHU/EECS-86/09, 1986.
[9] R. F. Madden, "An algorithm for system diagnosis," Raunvisindastofnun Haskolans, Rep. RH-77-6, 1977.
[10] G. G. L. Meyer and G. M. Masson, "An efficient fault diagnosis algorithm for symmetric multiple processor architectures,"IEEE Trans. Comput., vol. C-27, pp. 1059-1063, Nov. 1978.
[11] G. G. L. Meyer, "A fault diagnosis algorithm for asymmetric modular architectures,"IEEE Trans. Comput., vol. C-30, pp. 81-83, Jan. 1981.
[12] G. G. L. Meyer, "The PMC system level fault model: Maximality properties of the implied faulty sets," Rep. JHU/EECS-83/03, 1983.
[13] F. P. Preparata, G. Metze, and R. T. Chien, "On the connection assignment problem of diagnosable systems,"IEEE Trans. Electron. Comput., vol. EC-16, pp. 848-854, Dec. 1967.
[14] G. F. Sullivan, "A polynomial time algorithm for fault diagnosability," inProc. Foundations Comput. Sci., 1984, pp. 148-156.

Index Terms:
PMC system level fault model; cardinality properties; lower bounds; maximal implied faulty sets; diagnosis algorithms; fault tolerant computing.
Citation:
M.A. Kennedy, G.G.L. Meyer, "The PMC System Level Fault Model: Cardinality Properties of the Implied Faulty Sets," IEEE Transactions on Computers, vol. 38, no. 3, pp. 478-480, March 1989, doi:10.1109/12.21136
Usage of this product signifies your acceptance of the Terms of Use.