Next: Description Class BlindedRoomTemperature Up: No Title Previous: Description Class BlindedRoomLight

Description Class RoomTemperature

INTENTION

This class provides all the definitions to describe the determination of the desired room temperature. For this the definitions of several objects are combined:

an object representing the temperature operation modes, this object includes the occupancy determination for a room;
an object representing the adaptive delay times used to determine occupancy;
an object representing the control panel that a person can use to enter values controlling the computation of the desired room temperature.

Note that in this class it is not specified how the desired room temperature is achieved.

SIGNATURE

Object modes : TempOperationModeSet

Intention : This object represents the operation modes of a room concerning temperature.

Object	modes : TempOperationModeSet

Object adaptTimes : AdaptiveOccupancyTimes

Intention : This object represents the delay times used to determine occupancy if the facility manager has chosen the delay times to be adaptive.

Object	adaptTimes : AdaptiveOccupancyTimes

Object cp : TemperatureCtrlPanel

Intention : This object represents the temperature specific inputs of a user and the facility manager.

Object	cp : TemperatureCtrlPanel

Timed Predicate daytime

Intention : This predicate is true during daytime, otherwise it is false.
Daytime is the time between 6 am and 8 pm.

Scope : eh

Timed Predicate	daytime

Timed Predicate defaultTempOccDaytime

Intention : This predicate represents the default value for occupancy concerning the temperature control during daytime in case of a malfunction of some sensors used to determine occupancy.

Scope : mh

Timed Predicate	defaultTempOccDaytime

Timed Predicate defaultTempOccNighttime

Intention : This predicate represents the default value for occupancy concerning the temperature control during nighttime in case of a malfunction of some sensors used to determine occupancy.

Scope : mh

REQUIREMENT SPECIFICATIONS

Timed Predicate	defaultTempOccNighttime

Property R_RT1

Formal : ( modes. occ. malOcc. automaticDetermValue
( daytime defaultTempOccDaytime )
( daytime defaultTempOccNighttime ) )

NL : The value determined automatically by the machine in the case of a malfunction of some sensors used to determine occupancy concerning the temperature control depends on whether it is daytime or nighttime. The corresponding default values for the two time periods are used as the value determined automatically.

Property	R_RT1

Property R_RT2

NonFormal : The use of solar radiation for heating during all times if heating is required or not disallowed, and the use of storage capacity of the building should always be preferred against the usage of the central heating unit.

Property	R_RT2

MACHINE SPECIFICATIONS

Property M_RT1

Formal : ( modes. nonFreezeTime
           ( cp. tCPRoom. nonFreezeOverride. checked = 0
             ( ( cp. tCPFM. roomNonFreezeDefined
                cp. tCPFM. nonFreezePeriod. actual )
               ( cp. tCPFM. roomNonFreezeDefined
                cp. tCPFM. buildingNonFreezePeriod. actual ) ) ) )

NL : Non-freeze operation time is set if and only if the following conditions are fulfilled together:

there is no user override for the non-freeze operation mode and

a room specific non-freeze time is set and currently valid or
a room specific non-freeze time is not set and the building wide non-freeze time is currently valid.

Property	M_RT1

Property M_RT2

Formal : ( modes. ComfortMode. desiredTemperature =
cp. comfortTemperature. value )

NL : The desired temperature in the operation mode ComfortMode is the current comfort temperature (depending on the values entered by the facility manager and the room user using the control panel).

Property	M_RT2

Property M_RT3

Formal : ( modes. StandbyMode. desiredTemperature =
cp. tCPFM. standbyTemperature. checked )

NL : The desired temperature in the operation mode StandbyMode is the standby temperature set by the facility manager using the control panel.

Property	M_RT3

Property M_RT4

Formal : ( modes. OffMode. desiredTemperature =
cp. tCPFM. offTemperature. checked )

NL : The desired temperature in the operation mode OffMode is the off mode temperature set by the facility manager using the control panel.

Property	M_RT4

Property M_RT5

Formal : ( modes. NonFreezeMode. desiredTemperature =
cp. tCPFM. nonFreezeTemperature. checked )

NL : The desired temperature in the operation mode NonFreezeMode is the non-freeze temperature set by the facility manager using the control panel.

Property	M_RT5

Property M_RT6

Formal : ( ( cp. tCPFM. adaptive. checked = 1
                modes. occ. noMalOcc. dt1 = adaptTimes. dt1Adaptive )
     ( cp. tCPFM. adaptive. checked = 0
        ( modes. expUse. expectedUsage
            modes. occ. noMalOcc. dt1
                               = cp. expectedUsageTimes. dt1. value )
        ( modes. expUse. expectedUsage
            modes. occ. noMalOcc. dt1
                               = cp. notExpectedUsageTimes. dt1. value ) ) )

NL : The value $\mathit{dt}_1$ used for determining occupancy is specified as follows:

If the facility manager has chosen the adaptive mode for this room, $\mathit{dt}_1$ is the value computed by the adaptive learning function.
If the facility manager has not chosen the adaptive mode for this room and usage of this room is expected, $\mathit{dt}_1$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is expected.
If the facility manager has not chosen the adaptive mode for this room and usage of this room is not expected, $\mathit{dt}_1$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is not expected.

Property	M_RT6

Property M_RT7

Formal : ( ( cp. tCPFM. adaptive. checked = 1
                modes. occ. noMalOcc. dt2 = adaptTimes. dt2Adaptive )
     ( cp. tCPFM. adaptive. checked = 0
        ( modes. expUse. expectedUsage
            modes. occ. noMalOcc. dt2
                               = cp. expectedUsageTimes. dt2. value )
        ( modes. expUse. expectedUsage
            modes. occ. noMalOcc. dt2
                               = cp. notExpectedUsageTimes. dt2. value ) ) )

NL : The value $\mathit{dt}_2$ used for determining occupancy is specified as follows:

If the facility manager has chosen the adaptive mode for this room, $\mathit{dt}_2$ is the value computed by the adaptive learning function.
If the facility manager has not chosen the adaptive mode for this room and usage of this room is expected, $\mathit{dt}_2$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is expected.
If the facility manager has not chosen the adaptive mode for this room and usage of this room is not expected, $\mathit{dt}_2$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is not expected.

Property	M_RT7

Property M_RT8

Formal : ( ( cp. tCPFM. adaptive. checked = 1
                modes. occ. noMalOcc. dt3 = adaptTimes. dt3Adaptive )
     ( cp. tCPFM. adaptive. checked = 0
        ( modes. expUse. expectedUsage
            modes. occ. noMalOcc. dt3
                               = cp. expectedUsageTimes. dt3. value )
        ( modes. expUse. expectedUsage
            modes. occ. noMalOcc. dt3
                               = cp. notExpectedUsageTimes. dt3. value ) ) )

NL : The value $\mathit{dt}_3$ used for determining occupancy is specified as follows:

If the facility manager has chosen the adaptive mode for this room, $\mathit{dt}_3$ is the value computed by the adaptive learning function.
If the facility manager has not chosen the adaptive mode for this room and usage of this room is expected, $\mathit{dt}_3$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is expected.
If the facility manager has not chosen the adaptive mode for this room and usage of this room is not expected, $\mathit{dt}_3$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is not expected.

Property	M_RT8

Property M_RT9

Formal : ( defaultTempOccDaytime )

NL : The default value for occupancy concerning the temperature control during daytime in case of a malfunction of some sensors used to determine occupancy is occupancy.

Property	M_RT9

Property M_RT10

Formal : ( defaultTempOccNighttime )

NL : The default value for occupancy concerning the temperature control during nighttime in case of a malfunction of some sensors used to determine occupancy is no occupancy.

Property	M_RT10

Property M_RT11

Formal : ( modes. expUse. expectedUsage
         modes. occ. noMalOcc. dt1 = cp. expectedUsageTimes. dt1. value
         modes. occ. noMalOcc. dt2 = cp. expectedUsageTimes. dt2. value
         modes. occ. noMalOcc. dt3 = cp. expectedUsageTimes. dt3. value )

NL : The time delays used for determining occupancy of the temperature control in the case that a usage of a room is expected corresponds with those entered for this case.

Property	M_RT11

Property M_RT12

Formal : ( modes. expUse. expectedUsage
   modes. occ. noMalOcc. dt1 = cp. notExpectedUsageTimes. dt1. value
   modes. occ. noMalOcc. dt2 = cp. notExpectedUsageTimes. dt2. value
   modes. occ. noMalOcc. dt3 = cp. notExpectedUsageTimes. dt3. value )

NL : The time delays used for determining occupancy of the temperature control in the case that a usage of a room is not expected corresponds with those entered for this case.

Property	M_RT12

Next: Description Class BlindedRoomTemperature Up: No Title Previous: Description Class BlindedRoomLight

Forest-System
1999-06-10

Intention	:	This predicate is true during daytime, otherwise it is false. Daytime is the time between 6 am and 8 pm.
Scope	:	eh

Intention	:	This predicate represents the default value for occupancy concerning the temperature control during daytime in case of a malfunction of some sensors used to determine occupancy.
Scope	:	mh

Formal	:	( modes. occ. malOcc. automaticDetermValue ( daytime defaultTempOccDaytime ) ( daytime defaultTempOccNighttime ) )
NL	:	The value determined automatically by the machine in the case of a malfunction of some sensors used to determine occupancy concerning the temperature control depends on whether it is daytime or nighttime. The corresponding default values for the two time periods are used as the value determined automatically.

Formal	:	( modes. nonFreezeTime ( cp. tCPRoom. nonFreezeOverride. checked = 0 ( ( cp. tCPFM. roomNonFreezeDefined cp. tCPFM. nonFreezePeriod. actual ) ( cp. tCPFM. roomNonFreezeDefined cp. tCPFM. buildingNonFreezePeriod. actual ) ) ) )
NL	:	Non-freeze operation time is set if and only if the following conditions are fulfilled together: there is no user override for the non-freeze operation mode and a room specific non-freeze time is set and currently valid or a room specific non-freeze time is not set and the building wide non-freeze time is currently valid.

Formal	:	( modes. ComfortMode. desiredTemperature = cp. comfortTemperature. value )
NL	:	The desired temperature in the operation mode ComfortMode is the current comfort temperature (depending on the values entered by the facility manager and the room user using the control panel).

Formal	:	( modes. StandbyMode. desiredTemperature = cp. tCPFM. standbyTemperature. checked )
NL	:	The desired temperature in the operation mode StandbyMode is the standby temperature set by the facility manager using the control panel.

Formal	:	( modes. OffMode. desiredTemperature = cp. tCPFM. offTemperature. checked )
NL	:	The desired temperature in the operation mode OffMode is the off mode temperature set by the facility manager using the control panel.

Formal	:	( modes. NonFreezeMode. desiredTemperature = cp. tCPFM. nonFreezeTemperature. checked )
NL	:	The desired temperature in the operation mode NonFreezeMode is the non-freeze temperature set by the facility manager using the control panel.

Formal	:	( ( cp. tCPFM. adaptive. checked = 1 modes. occ. noMalOcc. dt1 = adaptTimes. dt1Adaptive ) ( cp. tCPFM. adaptive. checked = 0 ( modes. expUse. expectedUsage modes. occ. noMalOcc. dt1 = cp. expectedUsageTimes. dt1. value ) ( modes. expUse. expectedUsage modes. occ. noMalOcc. dt1 = cp. notExpectedUsageTimes. dt1. value ) ) )
NL	:	The value $\mathit{dt}_1$ used for determining occupancy is specified as follows: If the facility manager has chosen the adaptive mode for this room, $\mathit{dt}_1$ is the value computed by the adaptive learning function. If the facility manager has not chosen the adaptive mode for this room and usage of this room is expected, $\mathit{dt}_1$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is expected. If the facility manager has not chosen the adaptive mode for this room and usage of this room is not expected, $\mathit{dt}_1$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is not expected.

Formal	:	( ( cp. tCPFM. adaptive. checked = 1 modes. occ. noMalOcc. dt2 = adaptTimes. dt2Adaptive ) ( cp. tCPFM. adaptive. checked = 0 ( modes. expUse. expectedUsage modes. occ. noMalOcc. dt2 = cp. expectedUsageTimes. dt2. value ) ( modes. expUse. expectedUsage modes. occ. noMalOcc. dt2 = cp. notExpectedUsageTimes. dt2. value ) ) )
NL	:	The value $\mathit{dt}_2$ used for determining occupancy is specified as follows: If the facility manager has chosen the adaptive mode for this room, $\mathit{dt}_2$ is the value computed by the adaptive learning function. If the facility manager has not chosen the adaptive mode for this room and usage of this room is expected, $\mathit{dt}_2$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is expected. If the facility manager has not chosen the adaptive mode for this room and usage of this room is not expected, $\mathit{dt}_2$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is not expected.

Formal	:	( ( cp. tCPFM. adaptive. checked = 1 modes. occ. noMalOcc. dt3 = adaptTimes. dt3Adaptive ) ( cp. tCPFM. adaptive. checked = 0 ( modes. expUse. expectedUsage modes. occ. noMalOcc. dt3 = cp. expectedUsageTimes. dt3. value ) ( modes. expUse. expectedUsage modes. occ. noMalOcc. dt3 = cp. notExpectedUsageTimes. dt3. value ) ) )
NL	:	The value $\mathit{dt}_3$ used for determining occupancy is specified as follows: If the facility manager has chosen the adaptive mode for this room, $\mathit{dt}_3$ is the value computed by the adaptive learning function. If the facility manager has not chosen the adaptive mode for this room and usage of this room is expected, $\mathit{dt}_3$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is expected. If the facility manager has not chosen the adaptive mode for this room and usage of this room is not expected, $\mathit{dt}_3$ is the value as it is computed by the entered values of the user and the facility manager for the case that usage of the room is not expected.

Formal	:	( defaultTempOccDaytime )
NL	:	The default value for occupancy concerning the temperature control during daytime in case of a malfunction of some sensors used to determine occupancy is occupancy.

Formal	:	( defaultTempOccNighttime )
NL	:	The default value for occupancy concerning the temperature control during nighttime in case of a malfunction of some sensors used to determine occupancy is no occupancy.

Formal	:	( modes. expUse. expectedUsage modes. occ. noMalOcc. dt1 = cp. expectedUsageTimes. dt1. value modes. occ. noMalOcc. dt2 = cp. expectedUsageTimes. dt2. value modes. occ. noMalOcc. dt3 = cp. expectedUsageTimes. dt3. value )
NL	:	The time delays used for determining occupancy of the temperature control in the case that a usage of a room is expected corresponds with those entered for this case.