INTENTION
This class extends the description class BasicRoom with the definitions concerning those objects of which in each room at least one instantiation is installed but where the concrete number of instantion can vary from room to room.
In addition to the objects introduced in description class BasicRoom each room is equipped with
REQUIREMENT SPECIFICATIONS
| Property | R_R1 |
|---|
| NonFormal | : | The desired temperature shall be reached as fast as possible during the heating up state.
This requirement is a basis for the definition of the functions tempRadNoMalSet and tempRadMalSet. |
| Property | R_R2 |
|---|
| NonFormal | : | The currently desired temperature is maintained during the current temperature state as good as possible.
This requirement is a basis for the definition of the functions tempRadNoMalSet and tempRadMalSet. |
MACHINE SPECIFICATIONS
| Property | I_R1 |
|---|
| NL | : | Initially the machine does not assume that the sensors, used to determine the settings of the actuators controlling the temperature, have such a serious malfunction that the settings of the actuators have to be determined using makeshift operations. |
| Property | M_R1 |
|---|
| NL | : | The machine assumes that the sensors, used to determine the settings of the actuators controlling the temperature, have such a serious malfunction that the settings of the actuators have to be determined using makeshift operations iff all temperature sensors of a room have a malfunction. |
| Property | M_R2 |
|---|
| NL | : | If the machine does not assume a serious malfunction of the sensors, used to determine the settings of the actuators controlling the temperature, the current setting of the radiators in a room intended by the temperature control are as determined by the function tempRadNoMalSet.
If the machine assumes a serious malfunction of the sensors, used to determine the settings of the actuators controlling the temperature, the current setting of the radiators in a room intended by the temperature control are as determined by the function tempRadMalSet. |
| Property | M_R3 |
|---|
| NL | : | The value adjusted by the machine for the radiator valves corresponds with the value intended by the temperature control for these actuators depending on the currently desired temperature.
Note that all radiator valves in a room are always set to the same value. A specific value for a single radiator is not determined. |