The PMC System Level Fault Model: Cardinality Properties of the Implied Faulty Sets.
Interim rept. 1 Jan-3 Apr 87,
JOHNS HOPKINS UNIV BALTIMORE MD DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE
Pagination or Media Count:
This paper considers one aspect of the PMC system level fault model, the properties of the implied faulty sets. For tau-diagnosable systems that have at most tau faulty units, we give lower bounds on the cardinality of the maximal implied faulty sets, then we show that these bounds are greatest lower bounds and we indicate how these results may be used in diagnosis algorithms.