INTENTION
This class provides all the definitions of entities concerning the control of the light in a room for which a user can enter a value using the control panel of a room. These are
Note that such a control panel does not exist up to now and has to be developed, too.
| Postreferences | : | lsref Room : CPRoom |
SIGNATURE
| Object | chosenLightScene : EnteredValue(VALID_INPUTS = STRING ) |
|---|
| NL | : | control panel light scene |
| Intention | : | This object represents the light scene currently chosen by using the control panel. A light scene is identified by its name. Therefore, the entered value has to have the domain STRING. |
| Prereferences | : | pdref U5 |
| Postreferences | : | msref Room : M_R7 |
| msref Room : M_R5 | ||
| msref RoomCtrlPanel : I_M_RCP1 | ||
| msref RoomCtrlPanel : M_RCP1 |
| Object | winCeilLightSwitch : EnteredValue(VALID_INPUTS = BINARY) |
|---|
| NL | : | window ceiling light switch of the control panel |
| Intention | : | This object represents the value defined for the window ceiling light group by using the control panel.
|
| Prereferences | : | pdref U9 |
| Postreferences | : | msref RoomCtrlPanel : I_M_RCP2 |
| msref RoomCtrlPanel : M_RCP1 | ||
| msref Room : M_R9 |
| Object | wallCeilLightSwitch : EnteredValue(VALID_INPUTS = BINARY) |
|---|
| NL | : | wall ceiling light switch of the control panel |
| Intention | : | This object represents the value defined for the wall ceiling light group by using the control panel.
|
| Prereferences | : | pdref U9 |
| Postreferences | : | msref RoomCtrlPanel : I_M_RCP3 |
| msref RoomCtrlPanel : M_RCP1 | ||
| msref Room : M_R9 |
| Object | winCeilLightDimmer : EnteredValue(VALID_INPUTS = PERCENT) |
|---|
| NL | : | window ceiling light dimmer of the control panel |
| Intention | : | This object represents the value defined for the dimmer of the window ceiling light group by using the control panel. If a dimmer is set to 
this means that a ceiling light group emits
of its possible maximal light illuminance.
Note that this setting is only relevant if the ceiling light group is not controlled manually using the push buttons. |
| Prereferences | : | pdref U9 |
| Postreferences | : | msref RoomCtrlPanel : I_M_RCP4 |
| msref RoomCtrlPanel : M_RCP1 |
| Object | wallCeilLightDimmer : EnteredValue(VALID_INPUTS = PERCENT) |
|---|
| NL | : | wall ceiling light dimmer of the control panel |
| Intention | : | This object represents the value defined for the dimmer of the wall ceiling light group by using the control panel. If a dimmer is set to
this means that a ceiling light group emits
of its possible maximal light illuminance.
Note that this setting is only relevant if the ceiling light group is not controlled manually using the push buttons. |
| Prereferences | : | pdref U9 |
| Postreferences | : | msref RoomCtrlPanel : I_M_RCP5 |
| msref RoomCtrlPanel : M_RCP1 |
| Object | lightSceneSwitch : EnteredValue(VALID_INPUTS = BINARY) |
|---|
| NL | : | light scenes are enabled by the control panel |
| Intention | : | This object represents the value that indicates whether
Note that this setting is only relevant if the light is not controlled manually using the push buttons. |
| Postreferences | : | msref Room : M_R3 |
| msref RoomCtrlPanel : I_M_RCP6 | ||
| msref RoomCtrlPanel : M_RCP1 | ||
| msref Room : M_R8 | ||
| msref Room : M_R8b | ||
| msref Room : M_R9 |
| Object | reoccDelay : EnteredValue(VALID_INPUTS = TIME ) |
|---|
| Intention | : | This object represents the value a user can specify for the maximal delay within the reoccupation of a room leads to a reestablishing of the previous chosen light scene. |
| Prereferences | : | pdref U7 |
| pdref U9 | ||
| Postreferences | : | msref RoomCtrlPanel : I_M_RCP7 |
| msref Room : M_R5 | ||
| msref Room : M_R6 | ||
| msref RoomCtrlPanel : M_RCP1 | ||
| msref Room : M_R4 |
| Object | defaultLightScene : EnteredValue(VALID_INPUTS = LightScene) |
|---|
| Intention | : | This object represents the default light scene that can be determined for a room using the room control panel. |
| Prereferences | : | pdref U6 |
| Postreferences | : | msref Room : M_R2 |
| msref RoomCtrlPanel : I_M_RCP8 | ||
| msref RoomCtrlPanel : I_M_RCP9 | ||
| msref RoomCtrlPanel : I_M_RCP10 | ||
| msref RoomCtrlPanel : M_RCP1 |
| Object | indicatorUnreasonInp : InformUnreasonableInput |
|---|
| Intention | : | This object represents the handling of an unreasonable input. |
| Prereferences | : | pdref NF9 |
| Postreferences | : | msref RoomCtrlPanel : I_M_RCP11 |
| msref RoomCtrlPanel : M_RCP1 |
| Object | indicatorMalFct : InformSensActMalFct |
|---|
| Intention | : | This object represents the handling of a malfunction of a sensor or an actuator. |
| Prereferences | : | pdref U8 |
| Postreferences | : | msref RoomCtrlPanel : I_M_RCP12 |
| msref Room : M_R13 |
| Property | R_RCP1 |
|---|
| NonFormal | : | The control panel should be easy and intuitive to use. |
| Prereferences | : | pdref NF8 |
MACHINE SPECIFICATIONS
| Property | I_M_RCP1 |
|---|
| Formal | : | chosenLightScene. checked = ``DEFAULT'' |
| NL | : | Initially the default light scene is also the chosen light scene. |
| Property | I_M_RCP2 |
|---|
| Formal | : | winCeilLightSwitch. checked = 1 |
| NL | : | Initially the window ceiling light group should be on according to the control panel. |
| Property | I_M_RCP3 |
|---|
| Formal | : | wallCeilLightSwitch. checked = 1 |
| NL | : | Initially the wall ceiling light group should be on according to the control panel. |
| Property | I_M_RCP4 |
|---|
| Formal | : | winCeilLightDimmer. checked = 100 |
| NL | : | Initially the dimmer of the window ceiling light group is set to 100% according to the control panel. |
| Property | I_M_RCP5 |
|---|
| Formal | : | wallCeilLightDimmer. checked = 100 |
| NL | : | Initially the dimmer of the wall ceiling light group is set to 100% according to the control panel. |
| Property | I_M_RCP6 |
|---|
| Formal | : | lightSceneSwitch. checked = 1 |
| NL | : | Initially the light scenes are enabled by the control panel. |
| Property | I_M_RCP7 |
|---|
| Formal | : | reoccDelay. checked = 1200000 |
| NL | : | Initially the maximal delay within the reoccupation of a room leads to a reestablishing of the previous light scene is 20 minutes. |
| Property | I_M_RCP8 |
|---|
| Formal | : | defaultLightScene. checked. name = ``DEFAULT'' |
| NL | : | Initially the name of the default light scene is DEFAULT. |
| Property | I_M_RCP9 |
|---|
| Formal | : | defaultLightScene. checked. ambLightLevel = 1000 |
| NL | : | Initially the desired ambient light level of the default light scene is 1000 lux. |
| Property | I_M_RCP10 |
|---|
| Formal | : | defaultLightScene. checked. option = LightScene:: BOTH |
| NL | : | Initially the option of the default light scene is BOTH |
| Property | I_M_RCP11 |
|---|
| Formal | : | indicatorUnreasonInp. indicator. noMalAct. adjustedEntity = 0 |
| NL | : | Initially the indicator light on the room control panel concerning unreasonable inputs is off. |
| Property | I_M_RCP12 |
|---|
| Formal | : | indicatorMalFct. indicator. noMalAct. adjustedEntity = 0 |
| NL | : | Initially the indicator light on the room control panel concerning malfunctions of sensors or actuators is off. |
| Property | M_RCP1 |
|---|
| Formal | : |  ( indicatorUnreasonInp. informCondMach 
chosenLightScene. unreasonableInput 
winCeilLightSwitch. unreasonableInput
wallCeilLightSwitch. unreasonableInput
winCeilLightDimmer. unreasonableInput
wallCeilLightDimmer. unreasonableInput
lightSceneSwitch. unreasonableInput
reoccDelay. unreasonableInput
defaultLightScene. unreasonableInput ) |
| NL | : | The situation a user 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:
|
| Prereferences | : | pdref U5 |
| pdref U6 | ||
| pdref U7 | ||
| pdref U9 |