Part 1: Informal Requirements
| Need | PD_1 |
|---|
| Information | : | This part contains the needs for a new light control system for the fourth floor of building 32 of the University of Kaiserslautern. |
| Need | PD_2 |
|---|
| Information | : | The main motivation for the development of a new light control system are the disadvan tages of the currently existing system. Since all lights are controlled manually, electrical energy is wasted by lighting rooms which are not occupied and by little possibilities to adjust light sources relative to need and daylight. |
| Need | PD_3 |
|---|
| Information | : | Paragraphs are numbered for easier reference. |
1 Needs
| Need | PD_4 |
|---|
| Information | : | In this section, the needs for the new light control system are presented. In 1.1, functional needs are listed and in 1.2 non-functional needs. |
1.1 Functional Needs
| Need | PD_5 |
|---|
| Information | : | The functional needs are split into two groups, user needs and facility manager needs, depending on the person who has expressed them. |
1.1.1 User Needs
| Need | PD_6 |
|---|
| Information | : | The user needs are numbered by U<number>. |
| Need | PD_7 |
|---|
| Information | : | At first, general user needs are listed, which are demanded for each kind of room: |
| Need | U1 |
|---|
| Information | : | If a person occupies a room, the light has to be sufficient to move safely, if nothing else is desired by a chosen light scene. |
| Postreferences | : | lsref AreaLight : T_AL1 |
| lsref AreaLight : T_AL2 | ||
| lsref AreaLight : safeLight | ||
| lsref AreaLight : noSaveLight | ||
| rsref AreaLight : R_AL3 | ||
| msref AreaLight : M_AL7 | ||
| msref RoomLight : M_RL4 |
| Need | U2 |
|---|
| Information | : | As long as the room is occupied, the actual chosen light scene has to be maintained. |
| Postreferences | : | lsref RoomLight : curLightScene |
| msref RoomLight : M_RL7 | ||
| msref RoomLight : M_RL8 |
| Need | U3 |
|---|
| Information | : | If the room is reoccupied within T1 minutes after the last person has left the room, the last chosen light scene has to be reestablished. |
| Postreferences | : | lsref RoomLightCtrlPanelFM : reoccDelay |
| msref RoomLight : M_RL5 |
| Need | U4 |
|---|
| Information | : | If the room is reoccupied after more than T1 minutes since the last person has left the room, the standard light scene has to be established. |
| Postreferences | : | lsref RoomLightCtrlPanelFM : reoccDelay |
| lsref RoomLightCtrlPanelFM : defaultLightScene | ||
| lsref RoomLight : curStandLightScene | ||
| msref RoomLight : M_RL6 |
| Need | U5 |
|---|
| Information | : | The wall switches for the window- and the wall-ceiling light group in a room should
show the following behavior:
|
| Need | U6 |
|---|
| Information | : | The light scenes can be determined by using the control panel. |
| Postreferences | : | lsref LightCtrlPanelRoom : chosenLightScene |
| lsref RoomLight : T_RL1 | ||
| lsref RoomLight : curLightScene |
| Need | U7 |
|---|
| Information | : | For each room, the actual ambient light level can be set by the user using the control panel. |
| Postreferences | : | lsref LightCtrlPanelRoom : ambLightLev |
| lsref RoomLight : curAmbLightLev |
| Need | U8 |
|---|
| Information | : | For each room, a default light scene can be set (not by using the control panel). |
| Postreferences | : | lsref RoomLightCtrlPanelFM : defaultLightScene |
| Need | U9 |
|---|
| Information | : | For each room, a default ambient light level can be set (not by using the control panel). |
| Postreferences | : | lsref RoomLightCtrlPanelFM : defaultAmbientLightLevel |
| lsref RoomLight : defaultAmbLightLev |
| Need | U10 |
|---|
| Information | : | The value T1 can be set for each room separately (not by using the control panel). |
| Postreferences | : | lsref RoomLightCtrlPanelFM : reoccDelay |
| Need | U11 |
|---|
| Information | : | If the outdoor light sensor or the motion detector of a room does not work correctly, the user has to be informed. |
| Postreferences | : | lsref MalfunctionSensor : userInformed |
| rsref MalfunctionSensor : R_MS1 | ||
| rsref MalfunctionSensor : R_MS3 | ||
| rsref MalfunctionSensor : R_MS5 | ||
| lsref MalfunctionActuator : userInformed | ||
| lsref MalfunctionActuator : TinfDelay | ||
| lsref MalfunctionActuator : Tinfo | ||
| lsref MalfunctionSensor : TinfDelay | ||
| lsref MalfunctionSensor : Tinfo | ||
| rsref MalfunctionActuator : R_MA1 | ||
| rsref MalfunctionActuator : R_MA3 | ||
| rsref MalfunctionActuator : R_MA5 |
| Need | PD_8 |
|---|
| Information | : | The user needs concerning the offices are: |
| Need | U12 |
|---|
| Information | : | The ceiling lights and the task light should be maintained by the control system depending on different light scenes. |
| Postreferences | : | lsref AreaLight : evalSaveLight |
| lsref RoomLight : evalLightScene | ||
| msref RoomLight : M_RL5 | ||
| msref RoomLight : M_RL7 | ||
| msref RoomLight : M_RL8 |
| Need | U13 |
|---|
| Information | : | The control panel should be movable in the offices, like a telephone. |
| Postreferences | : | rsref Office : R_O1 |
| Need | U14 |
|---|
| Information | : | The control panel should contain at least:
|
| Postreferences | : | lsref LightCtrlPanelRoom : ambLightLev |
| lsref LightCtrlPanelRoom : winCeilLightSwitch | ||
| lsref LightCtrlPanelRoom : wallCeilLightSwitch | ||
| lsref LightCtrlPanelRoom : ambientSwitch |
| Need | PD_9 |
|---|
| Information | : | The user needs concerning the remaining rooms are: |
| Need | U15 |
|---|
| Information | : | In all other rooms the control panel should be installed near a door to the hallway. |
| Postreferences | : | rsref NoOffice : R_NO1 |
| Need | U16 |
|---|
| Information | : | The control panel should contain at least:
|
| Postreferences | : | lsref LightCtrlPanelRoom : ambLightLev |
| lsref LightCtrlPanelRoom : winCeilLightSwitch | ||
| lsref LightCtrlPanelRoom : wallCeilLightSwitch | ||
| lsref LightCtrlPanelRoom : ambientSwitch |
| Need | PD_10 |
|---|
| Information | : | The user needs for the hallway sections are: |
| Need | U17 |
|---|
| Information | : | When a hallway section is occupied by a person, the light in this hallway section has to be sufficient to move safely. |
| Postreferences | : | lsref AreaLight : safeLight |
| rsref AreaLight : R_AL3 | ||
| msref AreaLight : M_AL7 |
| Need | U18 |
|---|
| Information | : | Before a person enters one hallway section from another one, the light in the section being entered is turned on if necessary. |
| Postreferences | : | lsref HallwaySection : T_HS1 |
| lsref HallwaySection : nearHallwayDoor | ||
| rsref HallwaySection : R_HS1 |
| Need | U19 |
|---|
| Information | : | The wall switches for lights in the hallway section have to show the following
behavior:
|
1.1.2 Facility Manager Needs
| Need | PD_11 |
|---|
| Information | : | The facility manager needs are numbered by FM<number>. |
| Need | FM1 |
|---|
| Information | : | Use daylight to achieve the desired light whenever possible. |
| Need | FM2 |
|---|
| Information | : | Lights in a hallway section have to be switched off when the section has been unoccupied for T2 min. |
| Postreferences | : | lsref AreaLightCtrlPanelFM : unoccDelay |
| lsref AreaLight : allLightsOff | ||
| rsref AreaLight : R_AL2 |
| Need | FM3 |
|---|
| Information | : | If a room is unoccupied for more than T3 minutes, all lights must be switched off. |
| Postreferences | : | lsref AreaLightCtrlPanelFM : unoccDelay |
| lsref AreaLight : allLightsOff | ||
| rsref AreaLight : R_AL2 |
| Need | FM4 |
|---|
| Information | : | The value T2 can be set for each hallway section separately. |
| Postreferences | : | lsref AreaLightCtrlPanelFM : unoccDelay |
| Need | FM5 |
|---|
| Information | : | The value T3 can be set for each room separately. |
| Postreferences | : | lsref AreaLightCtrlPanelFM : unoccDelay |
| Need | FM6 |
|---|
| Information | : | The facility manager can turn off any light in a room or hallway section that is not occupied. |
| Postreferences | : | lsref AreaLightCtrlPanelFM : lightOn |
| lsref AreaLight : lightFMControlled | ||
| rsref AreaLight : R_AL1 |
| Need | FM7 |
|---|
| Information | : | If a malfunction occurs, the facility manager has to be informed. |
| Postreferences | : | lsref MalfunctionSensor : TinfDelay |
| lsref MalfunctionSensor : Tinfo | ||
| lsref MalfunctionSensor : FMInformed | ||
| rsref MalfunctionSensor : R_MS2 | ||
| rsref MalfunctionSensor : R_MS4 | ||
| rsref MalfunctionSensor : R_MS6 | ||
| lsref MalfunctionActuator : TinfDelay | ||
| lsref MalfunctionActuator : Tinfo | ||
| lsref MalfunctionActuator : FMInformed | ||
| rsref MalfunctionActuator : R_MA2 | ||
| rsref MalfunctionActuator : R_MA4 | ||
| rsref MalfunctionActuator : R_MA6 |
| Need | FM8 |
|---|
| Information | : | If a malfunction occurs, the control system supports the facility manager by finding the reason. |
| Postreferences | : | rsref Floor : R_F2 |
| Need | FM9 |
|---|
| Information | : | The system provides reports on current and past energy consumption. |
| Postreferences | : | rsref Floor : R_F3 |
| Need | FM10 |
|---|
| Information | : | All malfunctions and unusual conditions are stored and reported on request. |
| Postreferences | : | rsref Floor : R_F4 |
| Need | FM11 |
|---|
| Information | : | Malfunctions that the system cannot detect can be entered manually. |
| Postreferences | : | lsref Sensor : manualEnteredMal |
| lsref Sensor : stateManualEnteredMal | ||
| lsref Sensor : automaticDetMal | ||
| lsref Actuator : manualEnteredMal | ||
| lsref Actuator : stateManualEnteredMal | ||
| lsref Actuator : automaticDetMal | ||
| lsref MalfunctionOccupancy : manualEnteredOcc | ||
| lsref MalfunctionOccupancy : stateManualEnteredOcc | ||
| lsref Occupancy : manualEnteredMal | ||
| lsref Occupancy : stateManualEnteredMal | ||
| lsref Occupancy : automaticDetMal |
1.2 Non-Functional Needs
| Need | PD_12 |
|---|
| Information | : | The non-functional needs are split into several groups depending on the aspect they are dealing with. They are numbered by NF<number>. |
1.2.1 Fault Tolerance
In any case of failure the system shall provide a stepwise degradation of functionality down to manual operability.
Needs in the case of a malfunction of the outdoor light sensor:
| Need | PD_13 |
|---|
| Information | : | In any case of failure the system shall provide a stepwise degradation of functionality down to manual operability. |
| Postreferences | : | lsref MalfunctionSensor : manualEnteredVal |
| lsref MalfunctionSensor : automaticDetermValue | ||
| lsref MalfunctionSensor : valueMal | ||
| lsref MalfunctionSensor : malDetEnv | ||
| lsref MalfunctionSensor : malDetMach | ||
| lsref MalfunctionSensor : stateManualEnteredValue | ||
| msref MalfunctionSensor : M_MS1 | ||
| lsref MalfunctionActuator : malDetEnv | ||
| lsref MalfunctionActuator : malDetMach | ||
| lsref BasicRoom : malLight |
| Need | PD_14 |
|---|
| Information | : | Needs in the case of a malfunction of the outdoor light sensor: |
| Need | NF1 |
|---|
| Information | : | If the outdoor light sensor does not work correctly, the control system for rooms should behave as if the outdoor light sensor had been submitting the last correct measurement of the outdoor light constantly. |
| Postreferences | : | lsref MalfunctionSensor : automaticDetermValue |
| lsref OutdoorLightSensor : lastCorrectOutLight | ||
| rsref OutdoorLightSensor : R_OLS1 | ||
| lsref Floor : outLightSensorFaultMach |
| Need | NF2 |
|---|
| Information | : | If the outdoor light sensor does not work correctly, the standard light scene for all rooms is that all ceiling lights are on. |
| Postreferences | : | lsref MalfunctionSensor : automaticDetermValue |
| lsref RoomLight : curStandLightScene | ||
| lsref RoomLight : faultStandLightScene | ||
| rsref RoomLight : R_RL2 | ||
| lsref Floor : outLightSensorFaultMach | ||
| msref Floor : M_F2 |
| Need | NF3 |
|---|
| Information | : | If the outdoor light sensor does not work correctly and a hallway section is occupied, the lights in this hallway section has to be on. |
| Postreferences | : | lsref MalfunctionSensor : automaticDetermValue |
| lsref Floor : TmalReact | ||
| lsref Floor : outLightSensorFaultMach | ||
| rsref Floor : R_F1 |
| Need | PD_15 |
|---|
| Information | : | Needs in the case of a malfunction of the motion detector: |
| Need | NF4 |
|---|
| Information | : | If the motion detector of a room or a hallway section does not work correctly, the control system should behave as if the room or the hallway section mere occupied. |
| Postreferences | : | lsref MalfunctionSensor : automaticDetermValue |
| lsref MalfunctionOccupancy : malOccDetMach | ||
| lsref MalfunctionOccupancy : malOccDetEnv | ||
| lsref MalfunctionOccupancy : automaticDetermValue | ||
| lsref MalfunctionOccupancy : occMal | ||
| msref AreaLight : M_AL6 |
| Need | PD_16 |
|---|
| Information | : | Needs in a worst case failure of the control system: |
| Need | NF5 |
|---|
| Information | : | If the lights in a hallway section are neither controllable automatically nor manually, the lights have to be on. |
| Postreferences | : | lsref HallwaySection : T_HS2 |
| lsref HallwaySection : hwLightUncontroll | ||
| rsref HallwaySection : R_HS2 |
1.2.1 Safety and Legal Aspects
| Need | NF6 |
|---|
| Information | : | All hardware connections have to be made according to DIN standards. |
| Postreferences | : | rsref Floor : R_F5 |
| Need | NF7 |
|---|
| Information | : | No hazardous conditions for persons, inventory, or building are allowed. |
| Postreferences | : | rsref Floor : R_F6 |
1.2.1 User Interface
| Need | NF8 |
|---|
| Information | : | The control panel should be easy and intuitive to use. |
| Postreferences | : | rsref LightCtrlPanelRoom : R_LCP1 |
| Need | NF9 |
|---|
| Information | : | The system issues warnings on unreasonable inputs. |
| Postreferences | : | rsref Floor : R_F7 |