INTENTION
This class provides all definitions to describe the behavior of a water temperature sensor. This class is derived from the description class Sensor. The following specific parameters of a water temperature sensor are instantiated:
BASE CLASSES
Class | Sensor(ENV_DOMAIN = REAL , MEASURED_DOMAIN = REAL , CONVERTED_DOMAIN = WATER_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 values of the domain WATER_TEMP as the possible digitally converted measured values. |
SIGNATURE
Domain | WATER_TEMP = { 0 100 } TEMP |
---|
Intention | : | This domain contains the possible values measured by a water temperature sensor. |
Postreferences | : | lsref WaterTempSensor : Sensor |
Property | D_WTS1 |
---|
Formal | : | ( noMalSens. conversionTime = 160000 ) |
NL | : | The conversion time of a water temperature sensor is 160 seconds. |
Property | D_WTS2 |
---|
Formal | : | ( noMalSens. reactionTime = 10000 ) |
NL | : | The reaction time of a water temperature sensor is 10 seconds. |