| FAULT EXTENSION FE_GENERATOR | |
| EXTENSION OF MODULE generator | |
| /-- Description of Fault Slice gen_faults --/ | |
| SLICE gen_faults AFFECTS voltage WITH | |
| /-- Description of fault mode voltage_low --/ | |
| MODE voltage_low : Permanent Conditional_D( | |
| data condition << active, | |
| data then_term << low, | |
| data else_term << voltage, | |
| data input << voltage, | |
| data varout >> voltage, | |
| event failure); |