INTENTION
This class provides all definitions to describe the behavior of an already existing sensor. It is composed of the behavior of a sensor if there is no malfunction and the case that there is a malfunction.
| Postreferences | : | lsref OutdoorLightSensor : Sensor |
| lsref BinarySensor : Sensor |
FORMAL PARAMETERS
| Sort | ENV_DOMAIN |
|---|
| Intention | : | This domain contains the possible values of the measured phenomenon existing in the real world in the case that a sensor has no malfunction. |
| Postreferences | : | lsref Sensor : noMalSens |
| Sort | MEASURED_DOMAIN |
|---|
| Intention | : | This domain contains the possible measured analog values in the case that a sensor has no malfunction. |
| Postreferences | : | lsref Sensor : noMalSens |
| Sort | CONVERTED_DOMAIN |
|---|
| Intention | : | This domain contains the possible digitally converted measured values in the case that a sensor has no malfunction. This domain corresponds with the domain containing the values the machine can use as sensor values in the case of a malfunction of a sensor. |
| Postreferences | : | lsref Sensor : noMalSens |
| lsref Sensor : malSens | ||
| lsref Sensor : usedValue |
SIGNATURE
| Object | noMalSens : NoMalfunctionSensor(ENV_DOMAIN = ENV_DOMAIN, MEASURED_DOMAIN = MEASURED_DOMAIN, CONVERTED_DOMAIN = CONVERTED_DOMAIN) |
|---|
| Intention | : | This object represents the part of a sensor describing the behavior of a sensor if it has no malfunction, i.e., if the machine assumes that it has no malfunction. |
| Postreferences | : | dkref OutdoorLightSensor : D_OLS1 |
| dkref OutdoorLightSensor : D_OLS2 | ||
| dkref BinarySensor : D_BS1 | ||
| dkref BinarySensor : D_BS2 | ||
| dkref BinarySensor : D_BS3 | ||
| dkref StatusLine : D_SL1 | ||
| dkref DoorClosedContact : D_DCC1 | ||
| dkref MotionDetector : D_MD1 | ||
| msref Sensor : M_S1 | ||
| dkref CeilingLightGroup : D_CLG1 | ||
| dkref CeilingLightGroup : D_CLG2 | ||
| dkref CeilingLightGroup : D_CLG3 | ||
| msref CeilingLightGroup : M_CLG1 | ||
| rsref Floor : R_F1 | ||
| rsref Area : R_A1 | ||
| rsref Area : R_A2 | ||
| rsref HallwaySection : R_HS1 | ||
| rsref HallwaySection : R_HS2 |
| Object | malSens : MalfunctionSensor(MAL_CONVERTED_DOMAIN = CONVERTED_DOMAIN) |
|---|
| Timed Function | usedValue  CONVERTED_DOMAIN |
|---|
| Intention | : | This function represents the current value used by the machine as the value of a sensor. This depends on whether there is a malfunction of a sensor or not. |
| Scope | : | ev |
| Postreferences | : | msref Sensor : M_S1 |
| msref Sensor : M_S2 | ||
| msref HallwaySection : M_HS3 | ||
| msref Room : M_R11 | ||
| msref Room : M_R12 | ||
| dkref HallwaySection : D_HS1 | ||
| msref Area : M_A5 | ||
| msref Area : M_A6 | ||
| msref Room : M_R8 | ||
| msref Room : M_R8b | ||
| msref Room : M_R9 |
| Property | M_S1 |
|---|
| Formal | : |  (  malSens. malDetMach
usedValue = noMalSens. convertedEntity ) |
| NL | : | Whenever the machine assumes that a sensor is working correctly the value used by the machine corresponds with the digitally converted version of the measured value. |
| Property | M_S2 |
|---|
| Formal | : | ( malSens. malDetMach usedValue = malSens. valueMal ) |
| NL | : | Whenever the machine assumes that a sensor is not working correctly the value used by the machine corresponds with the value computed for this case. |