INTENTION
This class provides all definitions to describe the behavior of a outdoor temperature sensor. This class is derived from the description class Sensor. The following specific parameters of a outdoor temperature sensor are instantiated:
BASE CLASSES
Class | Sensor(ENV_DOMAIN = REAL , MEASURED_DOMAIN = REAL , CONVERTED_DOMAIN = OUT_TEMP) |
---|
Intention |
: | All definitions of description class Sensor are also provided here using the real numbers as the possible values of the phenomenon existing in the real world, using the real numbers as the possible analogously measured values, and using the the values of the domain OUT_TEMP as the possible digitally converted measured values. |
SIGNATURE
Domain | OUT_TEMP = { -40 60 } TEMP |
---|
Intention | : | This domain contains the possible values measured by an outdoor temperature sensor. |
Postreferences | : | lsref OutdoorTempSensor : Sensor |
Property | D_OTS1 |
---|
Formal | : | ( noMalSens. conversionTime = 160000 ) |
NL | : | The conversion time of an outdoor temperature sensor is 160 seconds. |
Property | D_OTS2 |
---|
Formal | : | ( noMalSens. reactionTime = 120000 ) |
NL | : | The reaction time of an outdoor temperature sensor is 120 seconds. |