next up previous contents index FOREST_HomepageFOREST_Example_Homepage
Next: Description Class RoomLightCtrlPanelFM Up: No Title Previous: Description Class OccDelayTimes

   
Description Class AreaLightCtrlPanelFM

INTENTION

This class provides all the definitions of entities concerning the control of the light in an area for which the facility manager can enter a value using the control panel. An area is here the generalization of rooms and hallways. This is

SIGNATURE

Object  lightOn  :  EnteredValue(CHECKED_DOM  =  BINARY)
Intention : This object represents whether the facility manager has turned all lights on or off in a certain area. lightOn.checked = 1 means that the lights have to be on; lightOn.checked = 0 means that the lights have to be off.

Object  unoccDelay  :  EnteredValue(CHECKED_DOM  = TIME )
Intention : This object represents the time an area has to be unoccupied continuously before the lights in this area are switched off.
MACHINE SPECIFICATIONS

Property  I_LCPFM1 
Formal :  unoccDelay. checked = 600000
NL : Initially an area has to be continuously empty for at least 10 minutes before the lights in an area are switched off.

Property  I_LCPFM2 
Formal :  lightOn. checked = 0
NL : Initially the lights in an area are not switched off by the facility manager.


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