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.

FORMAL PARAMETERS

Sort	ENV_DOMAIN

Intention

:

This domain contains the possible values of the measured phenomenon existing in the real world.

Sort	MEASURED_DOMAIN

Intention

:

This domain contains the possible analogously measured values.

Sort	CONVERTED_DOMAIN

Intention

:

This domain contains the possible digitally converted measured values.

SIGNATURE

Time Constant	reactionTime

Intention	:	This time constant represents the reaction time of the sensor. The reaction time is the time between a change of the value in the real world (envEntity) and the time point the measured entity (measuredEntity) has reached 90 percent of the change.
Scope	:	ev
Postreferences	:	dkref NoMalfunctionSensor : D_NMS1
		dkref OutdoorLightSensor : D_OLS2
		dkref LightSensor : D_L1
		dkref DoorContact : D_DC1
		dkref MotionDetector : D_MD1

Time Constant	conversionTime

Intention	:	This time constant represents the conversion time of the sensor. The conversion time is the time needed to convert an analogously measured value (measuredEntity) into the corresponding digital value (convertedEntity).
Scope	:	ev
Postreferences	:	dkref NoMalfunctionSensor : D_NMS2
		dkref OutdoorLightSensor : D_OLS1
		dkref BinarySensor : D_BS1

Timed Function	envEntity   ENV_DOMAIN

Intention	:	This function represents the value of the measured phenomenon in the real world. Note that this function represents the phenomenon as it is in the real world and not how it is seen by the machine.
Scope	:	eh
Postreferences	:	dkref NoMalfunctionSensor : D_NMS1
		dkref ControlledLight : D_CL1
		dkref ControlledLight : D_CL2
		dkref AreaLight : D_AL2
		rsref AreaLight : R_AL1
		rsref AreaLight : R_AL2
		rsref HallwaySection : R_HS1
		rsref HallwaySection : R_HS2
		rsref Floor : R_F1

Timed Function	measuredEntity   MEASURED_DOMAIN

Intention	:	This function represents the analogously measured value of the phenomenon existing in the real world.
Scope	:	eh
Postreferences	:	dkref NoMalfunctionSensor : D_NMS1
		dkref NoMalfunctionSensor : D_NMS2

Timed Function	convertedEntity   CONVERTED_DOMAIN

Intention	:	This function represents the digitally converted value of the measured value.
Scope	:	ev
Postreferences	:	dkref NoMalfunctionSensor : D_NMS2
		msref Sensor : M_S2
		msref ControlledLight : M_CL1

Timed Function	modifyReaction  :  ENV_DOMAIN  MEASURED_DOMAIN

Intention	:	This function represents the way in which a value of the phenomenon in the real world (envEntity) is modified during the reaction of the sensor resulting in an analogously measured value measuredEntity.
Scope	:	eh
Postreferences	:	dkref NoMalfunctionSensor : D_NMS1
		dkref BinarySensor : D_BS2

Timed Function	modifyConversion  :  MEASURED_DOMAIN  CONVERTED_DOMAIN

Intention	:	This function represents the way in which an analogously measured value measuredEntity is modified during the conversion into a digital value (convertedEntity).
Scope	:	eh
Postreferences	:	dkref NoMalfunctionSensor : D_NMS2
		dkref BinarySensor : D_BS3

DOMAIN KNOWLEDGE

Property	D_NMS1

Formal	:	( envEntity  reactionTime modifyReaction  measuredEntity)
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

Formal	:	( measuredEntity  conversionTime modifyConversion  convertedEntity)
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.