Accession Number:

ADA179365

Title:

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

Descriptive Note:

Interim rept. 1 Jan-3 Apr 87,

Corporate Author:

JOHNS HOPKINS UNIV BALTIMORE MD DEPT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCE

Personal Author(s):

Report Date:

1987-04-04

Pagination or Media Count:

13.0

Abstract:

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.

Subject Categories:

Distribution Statement:

APPROVED FOR PUBLIC RELEASE