INTENTION
This class provides all definitions to describe the behavior of a outdoor light sensor. This class is derived from the description class Sensor. The following specific parameters of a outdoor light sensor are instantiated:
BASE CLASSES
Class | Sensor(ENV_DOMAIN = REAL , MEASURED_DOMAIN = REAL , CONVERTED_DOMAIN = OUT_LIGHT_VALUES) |
---|
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 OUT_LIGHT_VALUES as the possible digitally converted measured values. |
SIGNATURE
Domain | OUT_LIGHT_VALUES = { 1 10000 } LIGHT_VALUES |
---|
Intention | : | This domain contains the possible values measured by an outdoor light sensor. |
Timed Function | lastCorrectOutLight OUT_LIGHT_VALUES |
---|
Intention | : | This function represents the last correctly measured value of the outdoor light intensity. |
Scope | : | eh |
Property | D_OLS1 |
---|
Formal | : | ( noMalSens. conversionTime = 1000 ) |
NL | : | The conversion time of an outdoor light sensor is 1 second. |
Property | D_OLS2 |
---|
Formal | : | ( noMalSens. reactionTime = 10 ) |
NL | : | The reaction time of a outdoor light sensor is 10 milliseconds. |
REQUIREMENT SPECIFICATIONS
Property | R_OLS1 |
---|
Formal | : | ( malSens. automaticDetermValue = lastCorrectOutLight ) |
NL | : | The value of the sensor determined automatically in the case of a malfunction of the outdoor light sensor corresponds with the last correctly measured value. |