Description Class TemperatureCtrlPanelFM

INTENTION

This class provides all the definitions of entities concerning the control of the temperature in a room for which the facility manager can enter a value using his control panel and which can not be changed by a user entering a value at the control panel in a room. A value entered by the facility manager can

• be valid for all rooms,
• be specific for each room type (office, meeting room, computer lab),
• be specific for each room.

This is mentioned in the intentions of the objects, too.

These objects are

• a possibility to determine the heating period. This object is the same for all rooms.
• a possibility to determine the non heating period. This object is the same for all rooms.
• a possibility to determine the non freeze period for the whole building. This object is the same for all rooms.
• a possibility to determine the non freeze period for a specific room. This object is specific for each room.
• a possibility to determine the temperature that should be applied if the operation mode NonFreezeMode is active. This object is the same for all rooms.
• a possibility to determine the temperature that should be applied if the operation mode standbyMode is active. This object is specific for each room type.
• a possibility to determine the temperature that should be applied if the operation mode OffMode is active. This object is specific for each room type.
• a possibility to determine whether the delay times used for determining occupancy are adaptive (i.e. the systems learns a typical user behavior) or not. This object is the same for all rooms.

Values for which the facility manager specifies a default value that can be changed by a user are considered in the description class TemperatureCtrlPanel.

Note that such a control panel does not exist up to now and has to be developed, too.

SIGNATURE

Object	heatingPeriod  :  CalendarInterval

Intention	:	This object represents the heating period, i.e. the start and end point of the period and whether the actual date is within the non heating period or not. This object is the same for all rooms.
Postreferences	:	msref Floor : M_F3

Object	buildingNonFreezePeriod  :  CalendarInterval

Intention	:	This object represents the period within which the non freeze mode is set for the whole building. This object is the same for all rooms.
Postreferences	:	msref RoomTemperature : M_RT1
		msref Floor : M_F4

Object	nonFreezePeriod  :  CalendarInterval

Intention	:	This object represents the period within which the non freeze mode is set for a certain room. This object is specific for each room.
Postreferences	:	msref RoomTemperature : M_RT1

Object	nonFreezeTemperature  :  EnteredValue(CHECKED_DOM  =  TEMP)

Intention	:	This object represents the temperature that should be applied if the operation mode NonFreezeMode is active. This object is the same for all rooms.
Postreferences	:	msref RoomTemperature : M_RT5
		msref Floor : M_F5

Object	standbyTemperature  :  EnteredValue(CHECKED_DOM  =  TEMP)

Intention	:	This object represents the temperature that should be applied if the operation mode standbyMode is active. This temperature is set by the facility manager. This object is specific for each room type.
Postreferences	:	msref RoomTemperature : M_RT3
		msref Floor : M_F7
		msref Floor : M_F9
		msref Floor : M_F11

Object	offTemperature  :  EnteredValue(CHECKED_DOM  =  TEMP)

Intention	:	This object represents the temperature that should be applied if the operation mode OffMode is active. This temperature is set by the facility manager. This object is specific for each room type.
Postreferences	:	msref RoomTemperature : M_RT4
		msref Floor : M_F8
		msref Floor : M_F10
		msref Floor : M_F12

Object	adaptive  :  EnteredValue(CHECKED_DOM  =  BINARY)

Intention	:	This object represents the modus set by the facility manager indicating whether the delay times used for determining occupancy are adaptive (i.e. the systems learns a typical user behavior) or not. This object is the same for all rooms.
Postreferences	:	msref TemperatureCtrlPanelFM : M_TCPF1
		msref RoomTemperature : M_RT6
		msref RoomTemperature : M_RT7
		msref RoomTemperature : M_RT8
		msref Floor : M_F6

Timed Predicate	roomNonFreezeDefined

Intention	:	This predicate is true iff the facility manager has defined a non-freeze period for a certain room. This object is specific for each room.
Scope	:	mh
Postreferences	:	msref RoomTemperature : M_RT1

MACHINE SPECIFICATIONS

Property	M_TCPF1

Formal	:	adaptive. checked = 0
NL	:	Initially it is not set that the delay times used for determining occupancy are adaptive.