INTENTION
This class provides all definitions to describe the behavior of a sensor. It is composed of the behavior of a sensor if there is no malfunction and the case that there is a malfunction.
A malfunction of a sensor can be detected automatically by the machine or it can be entered manually.
MACHINE SPECIFICATIONS
| Property | I_S1 |
|---|
| NL | : | Initially it has not been entered manually whether there is a malfunction of the sensor or whether there is no malfunction of it. |
| Property | M_S1 |
|---|
| NL | : | The machine assumes a malfunction of the sensor iff one of the following conditions is fulfilled:
|
| Property | M_S2 |
|---|
| NL | : | Whenever the machine assumes that the sensor is working correctly the value used by the machine corresponds with the digitally converted version of the measured value. |
| Property | M_S3 |
|---|
| NL | : | Whenever the machine assumes that the sensor is not working correctly the value used by the machine corresponds with the value computed for this case. |