Abstract
Diagnostic aspects of static diagnosis model comprising fault units, measurements and their static interrelation are discussed. Diagnosability of systems, fault identifiability of a fault unit, and redundancy of a measurement are defined on the model and are characterized in terms of Boolean functions. Multiple fault diagnosabilities are expressed by a distance defined on the model.
