Issue No.03 - March (1989 vol.38)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.21136
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.
PMC system level fault model; cardinality properties; lower bounds; maximal implied faulty sets; diagnosis algorithms; fault tolerant computing.
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