Template Declaration OutdoorLightSensor

INTENTION

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

• the domains of a sensor
• the reaction and conversion time of a sensor
• the automatically determined value in the case of a malfunction

Both functions, modifyReaction and modifyConversion, have still to be provided by the domain expert.

Postreferences	:	lsref Floor : ols1
		lsref Floor : ols2
		lsref Floor : ols3
		lsref Floor : ols4
		lsref Floor : ols5
		lsref Floor : ols6

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 measured analog 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

NL	:	outdoor light values
Intention	:	This domain contains the possible values measured by an outdoor light sensor.
Prereferences	:	akref Table1
Postreferences	:	lsref OutdoorLightSensor : Sensor
		lsref OutdoorLightSensor : lastCorrectOutLight

Timed Function	lastCorrectOutLight   OUT_LIGHT_VALUES

NL	:	last correctly measured outdoor light
Intention	:	This function represents the last correctly measured value of the outdoor light intensity.
Scope	:	eh
Prereferences	:	pdref NF1
Postreferences	:	rsref OutdoorLightSensor : R_OLS1

DOMAIN KNOWLEDGE

Property	D_OLS1

Formal	:	(  noMalSens. conversionTime = 1000 )
NL	:	The conversion time of an outdoor light sensor is 1 second.
Prereferences	:	akref Table1

Property	D_OLS2

Formal	:	(  noMalSens. reactionTime = 10 )
NL	:	The reaction time of a outdoor light sensor is 10 milliseconds.
Prereferences	:	akref Table1

REQUIREMENT SPECIFICATIONS

Property	R_OLS1

Formal	:	(  malSens. automaticDetermValue =  lastCorrectOutLight )
NL	:	The value of a sensor determined automatically in the case of a malfunction of an outdoor light sensor corresponds with the last correctly measured value of the outdoor light intensity.
Prereferences	:	pdref NF1