GEMINI-a logic system for fault diagnosis based on set functions

6 January 2003

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

https://doi.org/10.1109/ftcs.1988.5334

Abstract

A logic system is described which is based on images and inverse images of sets under functions designed specifically to deduce logic values in circuits under multiple fault conditions. Pairs, or larger clusters, of input vectors are analyzed in a two-phase algorithm. First, in forward propagation, the sets of possible values (images) for all lines of a diagnosed circuit are determined. Next, in backward implication, the sets of values on internal lines are deduced (inverse images) based on the observed response. Any fault producing a value that does not belong to these sets is tested unconditionally.

Keywords

FAULT DIAGNOSIS
CIRCUIT FAULTS
BOOLEAN ALGEBRA
CIRCUIT TESTING
LOGIC DESIGN
LOGIC CIRCUITS
LABORATORIES
ALGORITHM DESIGN AND ANALYSIS
CLUSTERING ALGORITHMS
CIRCUIT ANALYSIS

This publication has 0 references indexed in Scilit: