next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Group Actuator Up: No Title Previous: Template Declaration DoorClosedContact

   
Template Declaration MotionDetector

INTENTION

This class provides all definitions to describe the behavior of a motion detector. A motion detector is derived from a binary sensor. The following specific parameters of a motion detector are instantiated :

A motion detector delivers

Postreferences:lsref HallwaySection : eastMd
  lsref HallwaySection : westMd
  lsref HallwaySection : middleMd
  lsref Room : md
  lsref Staircase : md

BASE CLASSES

Class   BinarySensor

Intention

: All definitions of description class BinarySensor are inherited.

DOMAIN KNOWLEDGE

Property  D_MD1 
Formal : (  noMalSens. reactionTime = 1000 )
NL : The reaction time of a motion detector is 1 s.
Prereferences : akref Table1


next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Group Actuator Up: No Title Previous: Template Declaration DoorClosedContact
Forest-System
2000-09-06