Problem Description

Part 3: Informal Needs

Need	PD_20

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_21

Information

:

In Section 3.1, functional needs are listed and in Section 3.2 non-functional needs are listed.

3.1 Functional Needs

Need	PD_22

Information

:

The functional needs are split into two groups, user needs and facility manager needs, depending on the person who has expressed them.

3.1.1 User Needs

Need	PD_23

Information

:

The user needs are labelled by U<number>.

Need	PD_24

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, there has to be safe illumination, if nothing else is desired by the chosen light scene.
Postreferences	:	lsref Area : T_A1
		lsref Area : T_A2
		lsref Area : safeLight
		lsref Area : noSaveLight
		rsref Area : R_A3
		msref Room : M_R3
		lsref Area : evalSaveLight
		lsref Room : occRoom
		msref Room : M_R1
		msref Area : M_A5

Need	U2

Information	:	As long as the room is occupied, the chosen light scene has to be maintained.
Postreferences	:	lsref Room : curLightScene
		msref Room : M_R7
		lsref Room : occRoom
		lsref Room : evalLightScene

Need	U3

Information	:	If the room is reoccupied within T1 minutes after the last person has left the room, the chosen light scene has to be reestablished.
Postreferences	:	lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		msref NoMalfunctionOccupancy : M_NMO1
		lsref Room : occRoom
		msref Room : M_R5

Need	U4

Information	:	If the room is reoccupied after more than T1 minutes since the last person has left the room, the default light scene has to be established.
Postreferences	:	lsref Room : curDefaultLightScene
		lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		msref NoMalfunctionOccupancy : M_NMO1
		lsref Room : occRoom
		msref Room : M_R6

Need	U5

Information	:	For each room, the chosen light scene can be set by using the room control panel.
Postreferences	:	lsref RoomCtrlPanel : chosenLightScene
		msref RoomCtrlPanel : M_RCP1
		lsref Room : CPRoom

Need	U6

Information	:	For each room, the default light scene can be set by using the room control panel.
Postreferences	:	lsref RoomCtrlPanel : defaultLightScene
		msref RoomCtrlPanel : M_RCP1
		lsref Room : CPRoom
		msref Room : M_R2

Need	U7

Information	:	For each room, the value T1 can be set by using the room control panel.
Postreferences	:	lsref RoomCtrlPanel : reoccDelay
		msref RoomCtrlPanel : M_RCP1
		lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		lsref Room : CPRoom
		msref Room : M_R4

Need	U8

Information	:	If any outdoor light sensor or the motion detector of a room does not work correctly, the user of this room has to be informed.
Postreferences	:	lsref InformPerson : indicator
		lsref InformPerson : T_MinInf
		lsref InformPerson : T_MaxInf
		lsref InformPerson : T_InfDelayNew
		lsref InformPerson : informCondEnv
		lsref InformPerson : informCondMach
		lsref InformPerson : personInformed
		lsref RoomCtrlPanel : indicatorMalFct
		lsref Area : sensorActMalFct
		lsref Room : OLSMalFct

Need	U9

Information	:	The room control panel for an office should contain at least: 1. a possibility to set each ceiling light group 2. a possibility to set the chosen and the default light scene 3. a possibility to set T1
Postreferences	:	lsref RoomCtrlPanel : wallCeilLightSwitch
		lsref RoomCtrlPanel : winCeilLightSwitch
		lsref RoomCtrlPanel : winCeilLightDimmer
		lsref RoomCtrlPanel : wallCeilLightDimmer
		lsref RoomCtrlPanel : reoccDelay
		msref RoomCtrlPanel : M_RCP1
		lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		lsref Room : CPRoom
		msref Room : M_R4

Need	PD_25

Information

:

The user needs concerning the offices are:

Need	U10

Information	:	The ceiling light groups should be maintained by the control system depending on the current light scene.
Postreferences	:	msref Room : M_R7

Need	U11

Information	:	A room control panel in an office should be movable as is a telephone.
Postreferences	:	rsref Office : R_O1

Need	PD_26

Information

:

The user needs for the remaining rooms are:

Need	U12

Information	:	In all other rooms, the room control panel should be installed near a door leading to the hallway section.
Postreferences	:	rsref NoOffice : R_NO1

Need	PD_27

Information

:

The user needs for the hallway sections are:

Need	U13

Information	:	When a hallway section is occupied by a person, there has to be safe illumination.
Postreferences	:	lsref Area : T_A1
		lsref Area : T_A2
		lsref Area : safeLight
		lsref Area : evalSaveLight
		rsref Area : R_A3

Need	U14

Information	:	Before a person enters one hallway section from another one or from a staircase, the hallway section ceiling light group in the section being entered has to be on.
Postreferences	:	lsref HallwaySection : T_HS1
		lsref HallwaySection : nearHallwayDoor

3.1.2 Facility Manager Needs

Need	PD_28

Information

:

The facility manager needs are numbered by FM<number>.

Need	FM1

Information	:	Use daylight to achieve the desired light setting of each room and each hallway section whenever possible.
Postreferences	:	lsref Area : dayLight
		lsref Area : evalSaveLight
		lsref Room : evalLightScene

Need	FM2

Information	:	The ceiling light group in each hallway section has to be off when the hallway section has been unoccupied for at least T2 minutes.
Postreferences	:	lsref AreaCtrlPanelFM : unoccDelay
		lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		msref NoMalfunctionOccupancy : M_NMO1
		lsref Area : occFM
		lsref Area : T_A1
		msref Area : M_A6

Need	FM3

Information	:	The ceiling light groups in a room have to be off when the room is unoccupied for at least T3 minutes.
Postreferences	:	lsref AreaCtrlPanelFM : unoccDelay
		lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		msref NoMalfunctionOccupancy : M_NMO1
		lsref Area : occFM
		lsref Area : T_A1
		msref Area : M_A6

Need	FM4

Information	:	For each hallway section, the value T2 can be set by using the facility manager control panel.
Postreferences	:	lsref AreaCtrlPanelFM : unoccDelay
		msref AreaCtrlPanelFM : M_ACPFM1
		lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		lsref Area : occFM
		lsref Area : CPFM

Need	FM5

Information	:	For each room, the value T3 can be set by using the facility manager control panel.
Postreferences	:	lsref AreaCtrlPanelFM : unoccDelay
		msref AreaCtrlPanelFM : M_ACPFM1
		lsref NoMalfunctionOccupancy : delay
		lsref NoMalfunctionOccupancy : areaEmpty
		lsref NoMalfunctionOccupancy : occupied
		lsref Area : occFM
		lsref Area : CPFM

Need	FM6

Information	:	The facility manager can turn off the ceiling light groups in a room or hallway section that is not occupied.
Postreferences	:	lsref AreaCtrlPanelFM : lightOff
		msref AreaCtrlPanelFM : M_ACPFM1
		lsref Area : occFM
		lsref Area : CPFM
		lsref Area : T_A1

Need	FM7

Information	:	If a malfunction occurs, the facility manager has to be informed.
Postreferences	:	lsref InformPerson : T_MinInf
		lsref InformPerson : T_MaxInf
		lsref InformPerson : T_InfDelayNew
		lsref InformPerson : indicator
		lsref InformPerson : informCondEnv
		lsref InformPerson : informCondMach
		lsref InformPerson : personInformed
		lsref AreaCtrlPanelFM : indicatorMalFct

Need	FM8

Information	:	If a malfunction occurs, the control system supports the facility manager in 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 MalfunctionOccupancy : manualEnteredOcc
		lsref MalfunctionOccupancy : stateManualEnteredOcc
		lsref MalfunctionSensor : manualEnteredMal
		lsref MalfunctionSensor : stateManualEnteredMal
		lsref MalfunctionSensor : automaticDetMal
		lsref MalfunctionActuator : manualEnteredMal
		lsref MalfunctionSensor : malDetEnv
		lsref MalfunctionSensor : malDetMach
		lsref MalfunctionActuator : malDetEnv
		lsref MalfunctionActuator : malDetMach
		lsref MalfunctionActuator : stateManualEnteredMal
		lsref MalfunctionActuator : automaticDetMal
		msref MalfunctionActuator : M_MA1
		msref MalfunctionSensor : M_MS3
		lsref MalfunctionOccupancy : manualEnteredMal
		lsref MalfunctionOccupancy : stateManualEnteredMal
		lsref MalfunctionOccupancy : automaticDetMal
		msref MalfunctionOccupancy : M_MO1

3.2 Non-Functional Needs

Need	PD_29

Information

:

The non-functional needs are split into several groups according to the aspect they are dealing with. They are labelled by NF<number>.

3.2.1 Fault Tolerance

Need	PD_30

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_MS4
		lsref MalfunctionActuator : malDetEnv
		lsref MalfunctionActuator : malDetMach
		lsref EnteredValue : nearestValue
		msref EnteredValue : M_EV1
		lsref CeilingLightGroup : manualControl
		lsref MalfunctionOccupancy : stateManualEnteredOcc
		lsref MalfunctionOccupancy : automaticDetermValue
		lsref MalfunctionOccupancy : occMal
		msref MalfunctionOccupancy : M_MO2
		lsref Occupancy : occUsed
		msref Occupancy : M_O1
		lsref Area : manualControl
		msref MalfunctionOccupancy : M_MO1

Need	PD_31

Information

:

Needs in the case of a malfunction of the outdoor light sensor:

Need	NF1

Information	:	If any 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 any outdoor light sensor does not work correctly, the default light scene for all rooms is that all ceiling light groups are on.
Postreferences	:	lsref MalfunctionSensor : automaticDetermValue
		lsref Room : curDefaultLightScene
		lsref Room : malDefaultLightScene
		lsref Floor : outLightSensorFaultMach
		msref Floor : M_F2
		lsref Room : OLSMalFct

Need	NF3

Information	:	If any outdoor light sensor does not work correctly and a hallway section is occupied, the ceiling light group in this hallway section has to be on
Postreferences	:	lsref MalfunctionSensor : automaticDetermValue
		lsref Floor : TmalReact
		lsref Floor : outLightSensorFaultMach

Need	PD_32

Information

:

Needs in the case of a malfunction of the motion detector:

Need	NF4

Information	:	If any 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 were occupied.
Postreferences	:	lsref MalfunctionSensor : automaticDetermValue
		lsref MalfunctionOccupancy : malOccDetMach
		lsref MalfunctionOccupancy : malOccDetEnv
		lsref MalfunctionOccupancy : automaticDetermValue
		lsref MalfunctionOccupancy : occMal
		msref Area : M_A4

Need	PD_33

Information

:

Needs in a worst-case failure of the control system:

Need	NF5

Information	:	If the ceiling light group in a hallway section is controllable neither automatically nor manually, the ceiling light group of this hallway section has to be on.
Postreferences	:	lsref HallwaySection : T_HS2
		lsref HallwaySection : hwLightUncontroll

3.2.2 Safety and Legal Aspects

Need	NF6

Information	:	All hardware connections are 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

3.2.3 User Interface

Need	NF8

Information	:	The control panels are easy and intuitive to use.
Postreferences	:	rsref RoomCtrlPanel : R_RCP1

Need	NF9

Information	:	The system issues warnings on unreasonable inputs.
Postreferences	:	lsref EnteredValue : checkTime
		lsref EnteredValue : entered
		lsref EnteredValue : checked
		lsref EnteredValue : unreasonableInput
		lsref EnteredValue : nearestValue
		lsref InformPerson : indicator
		lsref InformPerson : T_MinInf
		lsref InformPerson : T_MaxInf
		lsref InformPerson : T_InfDelayNew
		lsref InformPerson : informCondEnv
		lsref InformPerson : informCondMach
		lsref InformPerson : personInformed
		lsref AreaCtrlPanelFM : indicatorUnreasonInp
		lsref RoomCtrlPanel : indicatorUnreasonInp