Template Declaration AreaCtrlPanelFM

INTENTION

This class provides all specifications concerning the facility manager control panel, i.e., all possibilities the facility manager has to control the light in an area using his control panel. An area is here the generalization of rooms and hallways.

These possibilities are:

• a possibility to switch off all ceiling light groups in an area
• a possibility to determine the time an area has to be unoccupied continuously before the ceiling light groups are switched off.

Postreferences

:

lsref Area : CPFM

SIGNATURE

Object	lightOff  :  EnteredValue(VALID_INPUTS  =  BINARY)

Intention	:	This object represents whether the facility manager has switched off all ceiling light groups in an area. lightOff.checked = 1 means that the ceiling light groups are switched off by the facility manager; lightOff.checked = 0 means that the ceiling light groups are not switched off by the facility manager. Note that this does not imply that the ceiling light groups are on!
Prereferences	:	pdref FM6
Postreferences	:	msref AreaCtrlPanelFM : I_M_ACPFM2
		msref AreaCtrlPanelFM : M_ACPFM1
		rsref Area : R_A1

Object	unoccDelay  :  EnteredValue(VALID_INPUTS  = TIME )

Intention	:	This object represents the time an area has to be unoccupied continuously before the lights in this area are switched off.
Prereferences	:	pdref FM2
		pdref FM3
		pdref FM4
		pdref FM5
Postreferences	:	msref AreaCtrlPanelFM : I_M_ACPFM1
		msref AreaCtrlPanelFM : M_ACPFM1
		msref Area : M_A3

Object	indicatorUnreasonInp  :  InformUnreasonableInput

Intention	:	This object represents the handling of an unreasonable input.
Prereferences	:	pdref NF9
Postreferences	:	msref AreaCtrlPanelFM : I_M_ACPFM3
		msref AreaCtrlPanelFM : M_ACPFM1
		msref Floor : M_F5

Object	indicatorMalFct  :  InformSensActMalFct

Intention	:	This object represents the handling of a malfunction of a sensor or an actuator.
Prereferences	:	pdref FM7
Postreferences	:	msref AreaCtrlPanelFM : I_M_ACPFM4
		msref HallwaySection : M_HS4
		msref Room : M_R14

MACHINE SPECIFICATIONS

Property	I_M_ACPFM1

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_M_ACPFM2

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

Property	I_M_ACPFM3

Formal	:	indicatorUnreasonInp. indicator. noMalAct. adjustedEntity = 0
NL	:	Initially the indicator light on the facility manager control panel concerning unreasonable inputs is off.

Property	I_M_ACPFM4

Formal	:	indicatorMalFct. indicator. noMalAct. adjustedEntity = 0
NL	:	Initially the indicator light on the facility manager control panel concerning malfunctions of sensors or actuators is off.

Property	M_ACPFM1

Formal	:	(  indicatorUnreasonInp. informCondMach                                                     lightOff. unreasonableInput                                                     unoccDelay. unreasonableInput )
NL	:	The situation a facility manager has to be informed about concerning an unreasonable input is always given if and only if there is an unreasonable input concerning one of the following inputs: the switching off of the ceiling light groups in an area the determination of the time an area has to be unoccupied continuously before the ceiling light groups in this area are switched off.
Prereferences	:	pdref FM4
		pdref FM5
		pdref FM6