|
Compiling Diagnostic Rules
- Example fault-localization rule:
R1: If Reading of SENi is Abnormal
and ( forall k <> i | influences ( SRCk, SENi ) )
Reading of SENk is Normal
then set Malfunction of SRCi to True.
R1.5: If Temperature of RCE-BEARING-SENSOR-22 is High
and ( forall k <> i | influences ( SRCk, RCE-BEARING-SENSOR-22 ) )
Reading of SENk is OK
then set Malfunction of RCE-BEARING-6 to True.
R2: If Temperature of RCE-BEARING-SENSOR-22 is High
and Temperature of RCE-SENSOR-34 is OK
and Temperature of TUNNEL-SENSOR-101 is OK
then set Malfunction of RCE-BEARING-6 to True.
|