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.

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.

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.

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.

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.

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.

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.

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

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.