Description Class BinarySensor

INTENTION

This class provides all definitions to describe the behavior of a binary sensor. This class is derived from the description class Sensor. The following specific parameters of a binary sensor are instantiated:

• the domains of the sensor: a binary sensor is a sensor that returns a 0 or a 1,
• the conversion time of the sensor,
• the transformation functions modifyReaction and modifyConversion are defined explicitely.

BASE CLASSES

Class	Sensor(ENV_DOMAIN  =  BINARY, MEASURED_DOMAIN  =  BINARY, CONVERTED_DOMAIN  =  BINARY)

Intention

:

All definitions of description class Sensor are also provided here using the values 0 and 1 as the possible values of the phenomenon existing in the real world, using the values 0 and 1 as the possible analogously measured values, and using the values 0 and 1 as the possible digitally converted measured values.

DOMAIN KNOWLEDGE

Property	D_BS1

Formal	:	(  noMalSens. conversionTime = 0 )
NL	:	The conversion time of a binary sensor is 0 milliseconds.

Property	D_BS2

Formal	:	( b  BINARY:  noMalSens. modifyReaction(b) = b )
NL	:	For a binary sensor the function representing the way in which a value in the real world (envEntity) is modified during the reaction of the sensor, resulting in an analogously measured value (measuredEntity), is the identity.

Property	D_BS3

Formal	:	( b  BINARY:  noMalSens. modifyConversion(b) = b )
NL	:	For a binary sensor the function representing the way in which an analogously measured value (measuredEntity) is modified during the conversion into a digital value (convertedEntity) is the identity.