next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class MotionDetector Up: No Title Previous: Description Class LightSensor

   
Description Class DoorContact

INTENTION

This class provides all definitions to describe the behavior of the different kinds of door contacts. These different kinds are door closed contact, door open contact, and door lock contact. A door contact is derived from a binary sensor. Here additionally the reaction time of a door contact is specified.

BASE CLASSES

Class   BinarySensor

Intention

: All definitions of description class BinarySensor are also provided here.

DOMAIN KNOWLEDGE

Property  D_DC1 
Formal : (  noMalSens. reactionTime = 10 )
NL : The reaction time of a door contact is 10 ms.


next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class MotionDetector Up: No Title Previous: Description Class LightSensor
Forest-System
1999-06-10