The PMC System Level Fault Model: Cardinality Properties of the Implied Faulty Sets

  • Authors:

  • M. A. Kennedy;G. G. L. Meyer

  • Affiliations:

  • The Johns Hopkins Univ., Baltimore, MD;The Johns Hopkins Univ., Baltimore, MD

  • Venue:
  • IEEE Transactions on Computers
  • Year:
  • 1989

Quantified Score

Hi-index 14.98

Visualization

Abstract

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.