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

   
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.
Postreferences : msref AreaLightCtrlPanelFM : I_LCPFM2
    rsref AreaLight : R_AL1

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.
Postreferences : msref AreaLightCtrlPanelFM : I_LCPFM1
    msref RoomLightCtrlPanelFM : M_LCPR1
    msref AreaLight : M_AL5
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: Group HumanMachineInterface
Forest-System
1999-06-10