next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class DoorContact Up: No Title Previous: Description Class BinarySensor

   
Description Class LightSensor

INTENTION

This class provides all definitions of a sensor determining whether a light is on or not. Note that this is not a sensor measuring the illuminance. Therefore, on means that the circuit of the light is closed.

BASE CLASSES

Class   BinarySensor

Intention

: All definitions of a binary sensor are also provided here.

DOMAIN KNOWLEDGE

Property  D_L1 
Formal : (  noMalSens. reactionTime = 10 )
NL : The reaction time of a light sensor is 10 ms.



Forest-System
1999-06-10