Description Class RoomLight

INTENTION

This class provides all definitions to describe the environment and the requirements concerning the control of lights common to any kind of room. In more detail this means that the cases are considered

• that safe light has to be established. This behavior is inherited from the description class AreaLight;
• that the light is controlled manually.
• that the light is controlled using the control panel. See the intention of description class LightCtrlPanelRoom for a more detailed explanation of this case.

In each room there are two dimmable lights that are controlled by the machine: a ceiling light at the window and a ceiling light at the wall to the hallway. Furthermore, in each room there is a control panel for entering values relevant for the control of the light. This is done by the user of a room. This control panel is not the same as the one the facility manager has.

REQUIREMENT SPECIFICATIONS

Property	R_RL1

NonFormal

:

The standard light scene in the case that the outdoor light sensors have no malfunction is that the light intensity is sufficient to move safely.

Property	R_RL2

NonFormal

:

The standard light scene in the case of a malfunction of the outdoor light sensors is that all ceiling lights are on.

MACHINE SPECIFICATIONS

Property	I_RL1

NL

:

Initially the current standard light scene is the light scene that has to become standard light scene in the case that the outdoor light sensors have no malfunction.

Property	I_RL2

NL

:

Initially the current light scene is the current standard light scene.

Property	I_RL3

NL

:

Initially the current ambient light level is the current default ambient light level.

Property	M_RL1

NL

:

The value of $T\_\mathit{RL}_1$ is always 50 miliiseconds.

Property	M_RL2

NL

:

The current standard light scene always corresponds with the default light scene determined by the facility manager.

Property	M_RL3

NL

:

The current ambient light level always corresponds with the default ambient light level determined by the facility manager.

Property	M_RL4

NL

:

The light intensity in a room that is occupied can be less than the light intensity needed to establish save light iff the light is controlled manually or light scenes are enabled or the ambient light level is enabled.

Property	M_RL5

NL

:

Whenever the room becomes occupied now and was occupied sometimes within the last $T\_RL_2$ milliseconds and the light scene l was last chosen, the light scene l is the current light scene.

Property	M_RL6

NL

:

Whenever the room becomes occupied now and has been continuously unoccupied for the last $T\_RL_2$ milliseconds, the current light scene is the current standard light scene.

Property	M_RL7

NL

:

Whenever the room is occupied, but has not just become occupied now, and the light scene l becomes chosen, this light scene l is the current light scene within time $T\_RL_1$.

Property	M_RL8

NL

:

Whenever the room is occupied and the light is not manually controlled and light scenes are enabled by the control panel, the window and wall lights are dimmed and switched on or off as necessary to achieve the ambient light level of the current light scene under consideration of the current light scene's lighting order. In short: Under the mentioned conditions the current light scene has to be established.

Property	M_RL9

NL

:

Whenever the room is occupied and the light is not manually controlled, light scenes are disabled and ambient light settings are enabled by the control panel, the window and wall lights are dimmed and switched on or off as necessary to achieve the current ambient light level. In short: Under the mentioned conditions the current ambient light setting is established.

Property	M_RL10

NL

:

Whenever the room is occupied and the light is not manually controlled and light scenes and ambient light setting are disabled by the control panel, the window and wall lights are completely switched off or on as selected in the control panels ceiling light switches. In short: Under the mentioned conditions the light is controlled by the ceiling light switches.

Property	M_RL11

NL

:

As long as the light is controlled manually, the dimmer settings of the window and wall light remain unchanged.

Property	M_RL12

NL

:

Whenever the room becomes occupied now and was occupied sometimes within the last $T\_RL_2$ milliseconds and the ambient light level l was last chosen, the ambient light level l is the current ambient light level.

Property	M_RL13

NL

:

Whenever the room becomes occupied now and has not been occupied during the last time $T\_RL_2$, the current ambient light level is the default ambient light level.

Property	M_RL14

NL

:

Whenever the room is occupied, but has not just become occupied now, and the ambient light level l becomes chosen, this ambient light level l is the current ambient light level within time $T\_RL_1$.