Description Class Floor

INTENTION

This class is the main class. It contains and combines all the objects belonging to the considered system. These objects are

• the rooms of the floor
• the hallway sections of the floor
• the parts of the staircases belonging to the floor
• the outdoor light sensors
• the outdoor temperature sensor

DOMAIN KNOWLEDGE

Property	D_F1

NL

:

The two rooms with room numbers 435 and 433 are connected by a door.

Property	D_F2

NL

:

The two rooms with room numbers 433 and 431 are connected by a door.

Property	D_F3

NL

:

The two rooms with room numbers 425 and 423 are connected by a door.

Property	D_F4

NL

:

The two rooms with room numbers 423 and 421 are connected by a door.

Property	D_F5

NL

:

The two rooms with room numbers 418 and 416 are connected by a door.

Property	D_F6

NL

:

The two rooms with room numbers 416 and 414 are connected by a door.

REQUIREMENT SPECIFICATIONS

Property	R_F1

NL

:

Whenever some outdoor light sensors are not working correctly and the hallway is occupied for at least $T_{\mathit{malReact}}$ time units, then eventually within this time span, the light in the hallway is on and remains on at least as long as the precondition is true.

Property	R_F2

NonFormal

:

Energy consumption should be reduced as far as possible during maintaining of comfortable working conditions for all users.

Property	R_F3

NonFormal

:

If a malfunction occurs, the control system supports the facility manager by finding the reason.

Property	R_F4

NonFormal

:

The system provides reports on current and past energy consumption.

Property	R_F5

NonFormal

:

All malfunctions and unusual conditions are stored and reported on request.

Property	R_F6

NonFormal

:

All hardware connections have to be made according to DIN standards.

Property	R_F7

NonFormal

:

No hazardous condition for persons, inventory or building are allowed.

Property	R_F8

NonFormal

:

The system warns about unreasonable inputs.

Property	R_F9

NonFormal

:

If the whole control system has a serious malfunction, complete manual operation should be possible.

Property	R_F10

NonFormal

:

The control system shall be designed such that it can be easily changed and expanded.

Property	R_F11

NonFormal

:

The control system provides basic energy saving procedures automatically for control comfort. If the facility manager deviates from such settings, the system provides a report on expected results.

MACHINE SPECIFICATIONS

Property	M_F1

NL

:

The machine assumes that some outdoor light sensor has a malfunction iff one of the six outdoor light sensors has a malfunction.

Property	M_F2

NL

:

Whenever the machine assumes that some outdoor light sensors are not working correctly, then the standard light scene is the standard fault light scene, i.e. all ceiling lights are on.

Property	M_F3

NL

:

The heating period is the same for all rooms.

Property	M_F4

NL

:

The period within which the non freeze mode is set for the whole building is the same for all rooms.

Property	M_F5

NL

:

The temperature that should be applied if the operation mode NonFreezeMode is active is the same for all rooms.

Property	M_F6

NL

:

The modus set by the facility manager indicating whether the delay times used for determining occupancy are adaptive or not is always the same for all rooms.

Property	M_F7

NL

:

The temperature that should be applied in the standbyMode is the same for all offices.

Property	M_F8

NL

:

The temperature that should be applied in the OffMode is the same for all offices.

Property	M_F9

NL

:

The temperature that should be applied in the standbyMode is the same for all meeting rooms.

Property	M_F10

NL

:

The temperature that should be applied in the OffMode is the same for all meeting rooms.

Property	M_F11

NL

:

The temperature that should be applied in the standbyMode is the same for all computer labs.

Property	M_F12

NL

:

The temperature that should be applied in the OffMode is the same for all computer labs.