Multi-fault mode diagnosing with value propagation

This paper presents a system model based on value propagation that can describe a multi-fault mode of system behavior and redefines the notion of diagnosis. The relation between consistency (abductive)-based diagnosis and value-propagation-based diagnosis is discussed. In addition, the relation between value propagation and the actual diagnosis has been analyzed. On the basis of the value propagation model, an algorithm for finding a minimal diagnosis is proposed. This algorithm need not compute the minimal conflicts and provides a reasonable interpretation for the minimal diagnosis. In addition, we present a method for repairing a faulty system by integrating diagnoses and tests.