INTENTION
This class provides all definitions to describe an actuator. It is composed of the behavior of an actuator if there is no malfunction and the case that there is a malfunction.
MACHINE SPECIFICATIONS
| Property | I_A1 |
|---|
| NL | : | Initially it has not been entered manually whether there is a malfunction of the actuator or whether there is no malfunction of it. |
| Property | M_A1 |
|---|
| NL | : | The machine assumes a malfunction of the actuator iff one of the following conditions is fulfilled:
|