Description Class MalfunctionSensor

INTENTION

This class provides all definitions to describe the behavior of a sensor if it has a malfunction.

In the case of a malfunction of a sensor, a value is determined depending on a possibly manually entered value by a user and an automatically determined value. If a value has been entered manually this value has priority over the automatically determined value.

Furthermore, the facility manager as well as the user are informed about a malfunction.

REQUIREMENT SPECIFICATIONS

Property	I_MS2

NL

:

Initially the user is not informed about an important event concerning a sensor.

Property	I_MS3

NL

:

Initially the facility manager is not informed about an important event concerning a sensor.

Property	R_MS1

NL

:

Whenever a user becomes informed he is informed for at most $T_\mathit{info}$ milliseconds. By this requirement it is expressed, that the user is not informed permanently, but that the information is a kind of signal, e.g. an email.

Property	R_MS2

NL

:

Whenever the facility manager becomes informed he is informed for at most $T_\mathit{info}$ milliseconds. By this requirement it is expressed, that the facility manager is not informed permanently, but that the information is a kind of signal, e.g. an email.

Property	R_MS3

NL

:

Whenever the machine assumes that a malfunction of the sensor has occurred, the user is informed about this within $T_\mathit{infDelay}$ milliseconds.

Property	R_MS4

NL

:

Whenever the machine assumes that a malfunction of the sensor has occurred, the facility manager is informed about this within $T_\mathit{infDelay}$ milliseconds.

Property	R_MS5

NL

:

Whenever the machine assumes that the sensor is working correctly again after it has had a malfunction, the user is informed about this within $T_\mathit{infDelay}$ milliseconds.

Property	R_MS6

NL

:

Whenever the machine assumes that the sensor is working correctly again after it has had a malfunction, the facility manager is informed about this within $T_\mathit{infDelay}$ milliseconds.

MACHINE SPECIFICATIONS

Property	I_MS1

NL

:

Initially no value for the case of a malfunction is entered manually by a user.

Property	M_MS1

NL

:

If a value for the status of the sensor in the case of a malfunction has been entered manually this is the value used by the machine in the case of a malfunction of the sensor. Otherwise, the value used by the machine in the case of a malfunction of the sensor is the value determined automatically in the case of a malfunction of the sensor.