Description Class NoMalfunctionSensor

INTENTION

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

It is distinguished between three values:

• the value of the phenomenon existing in the real world (which can never be visible for the machine) (timed function envEntity),
• the analogously measured value of this real world value (timed function measuredEntity), and
• the digitally measured value which is a conversion of the analog measured value (timed function convertedEntity).

Note that this class can be used to describe a sensor that already exists in the environment. This is expressed as follows: At first the value measured by the sensor, namely convertedEntity, has the scope environment controlled, not visible for the machine. Secondly, the properties $D\_NMS_{1}$ and $D\_NMS_{2}$ describing the behavior of the sensor are characterized as domain knowledge. Otherwise, if the sensor does not exist, they have to be requirements.

DOMAIN KNOWLEDGE

Property	D_NMS1

NL

:

The analogously measured value is always derived from the value of the phenomenon in the real world using the function modifyReaction. A change of the value in the real world is always propagated within the time reactionTime.

Property	D_NMS2

NL

:

The digitally converted value is always derived from the analogously measured value using the function modifyConversion. A change of the value in the real world is always propagated within the time conversionTime.