Template Declaration NoMalfunctionSensor

INTENTION

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

It is distinguished between three values:

• the value of the considered phenomenon existing in the real world, represented by the timed function envEntity, e.g. the temperature in a room,
• the measured analog value of this real world value, represented by the timed function measuredEntity, and
• the digital value which is a conversion of the measured analog value, represented by the 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 phenomenon in the real world is represented by a function having the scope environment controlled, hidden for the machine and the value measured by a sensor, namely convertedEntity, has the scope environment controlled, visible for the machine. Secondly, the properties $D\_NMS_{1}$ and $D\_NMS_{2}$describing the behavior of a sensor are characterized as domain knowledge. Otherwise, if a sensor does not exist, they have to be stated in the optative mood.

Postreferences

:

lsref Sensor : noMalSens

FORMAL PARAMETERS

Sort	ENV_DOMAIN

Intention	:	This domain contains the possible values of the measured phenomenon of the real world.
Postreferences	:	lsref NoMalfunctionSensor : envEntity
		lsref NoMalfunctionSensor : modifyReaction

Sort	MEASURED_DOMAIN

Intention	:	This domain contains the possible measured analog values.
Postreferences	:	lsref NoMalfunctionSensor : measuredEntity
		lsref NoMalfunctionSensor : modifyReaction
		lsref NoMalfunctionSensor : modifyConversion

Sort	CONVERTED_DOMAIN

Intention	:	This domain contains the possible digital values, converted from an analog value.
Postreferences	:	lsref NoMalfunctionSensor : convertedEntity
		lsref NoMalfunctionSensor : modifyConversion

SIGNATURE

Time Constant	reactionTime

Intention	:	This time constant represents the reaction time of a 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, excluding conversion time.
Scope	:	ev
Prereferences	:	akref BD_17
		akref Table1
Postreferences	:	dkref NoMalfunctionSensor : D_NMS1
		dkref OutdoorLightSensor : D_OLS2
		dkref StatusLine : D_SL1
		dkref DoorClosedContact : D_DCC1
		dkref MotionDetector : D_MD1

Time Constant	conversionTime

Intention	:	This time constant represents the conversion time of a sensor. The conversion time is the time needed to convert a measured analog value (measuredEntity) into the corresponding digital value (convertedEntity).
Scope	:	ev
Prereferences	:	akref BD_17
		akref Table1
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
Prereferences	:	akref BD_17
Postreferences	:	dkref NoMalfunctionSensor : D_NMS1
		dkref CeilingLightGroup : D_CLG1
		dkref CeilingLightGroup : D_CLG2
		dkref CeilingLightGroup : D_CLG3
		rsref Floor : R_F1
		rsref Area : R_A1
		rsref Area : R_A2
		rsref HallwaySection : R_HS1
		rsref HallwaySection : R_HS2

Timed Function	measuredEntity   MEASURED_DOMAIN

Intention	:	This function represents the measured analog value of the phenomenon of the real world.
Scope	:	eh
Prereferences	:	akref BD_17
Postreferences	:	dkref NoMalfunctionSensor : D_NMS1
		dkref NoMalfunctionSensor : D_NMS2

Timed Function	convertedEntity   CONVERTED_DOMAIN

Intention	:	This function represents the digital value derived from the measured analog value.
Scope	:	ev
Prereferences	:	akref BD_17
Postreferences	:	dkref NoMalfunctionSensor : D_NMS2
		msref Sensor : M_S1
		msref CeilingLightGroup : M_CLG1

Function	modifyReaction  :  ENV_DOMAIN  MEASURED_DOMAIN

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

Function	modifyConversion  :  MEASURED_DOMAIN  CONVERTED_DOMAIN

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

DOMAIN KNOWLEDGE

Property	D_NMS1

Formal	:	( envEntity  reactionTime modifyReaction  measuredEntity)
NL	:	The measured analog value is always derived from the value of the phenomenon of the real world using the function modifyReaction. A change of the value in the real world is always propagated within the time reactionTime.
Prereferences	:	akref BD_17

Property	D_NMS2

Formal	:	( measuredEntity  conversionTime modifyConversion  convertedEntity)
NL	:	A digital value is always derived from a measured analog value using the function modifyConversion. A change of the measured analog value is always propagated within the time conversionTime.
Prereferences	:	akref BD_17