| /-- Description of the whole fault extension |
| (multiline) |
| --/ |
| FAULT EXTENSION FE_SC_TMG |
| |
| EXTENSION OF MODULE Generator |
| /-- Description of Fault Slice Gen_StuckOff --/ |
| SLICE Gen_StuckOff AFFECTS state WITH |
| |
| /-- Description of fault mode stuckAt_Off --/ |
| MODE stuckAt_Off : Permanent StuckAtByValue_D( |
| data term << off, |
| data input << state, |
| data varout >> state, |
| event failure >> fault_event_stuck_at_off); |
| |
| |
| EXTENSION OF MODULE Switch |
| |
| /-- Description of Fault Model for Switch --/ |
| SLICE Switch_StuckClosed_StuckOpen |
| AFFECTS state WITH |
| |
| /-- Description of fault mode StuckAt_Closed --/ |
| MODE stuckAt_Closed : Transient StuckAtByValue_D( |
| data term << closed, |
| data input << state, |
| data varout >> state, |
| template self_fix = self_fixed, |
| event failure >> fault_event_stuck_at_closed, |
| event self_fixed >> nominal_event); |
| |
| /-- Description of fault mode StuckAt_Open --/ |
| MODE stuckAt_Open : Transient StuckAtByValue_D(data term << open, |
| data input << state, |
| data varout >> state, |
| template self_fix = self_fixed, |
| event failure >> fault_event_stuck_at_open, |
| event self_fixed >> nominal_event); |
