INTENTION
This class provides all definitions specific to any kind of room with sun blinds. In addition to the definitions of the description class Room the control of the sun blinds is considered here. Since both, light and temperature control, can influence the setting of the sun blinds there can be conflicts. The resolution of possible conflicts is represented by the function resolveBlindConflict.
DOMAIN KNOWLEDGE
Property | D_BR1 |
---|
NL | : | The number of sun blinds in a blinded room equals the number of radiators in a blinded room. |
MACHINE SPECIFICATIONS
Property | I_BR1 |
---|
NL | : | Initially the sun blinds are not controlled manually. |
Property | M_BR1 |
---|
NL | : | The machine assumes that the sun blinds are controlled manually iff a room is occupied according to the definition of this term used for temperature control and at least one sun blind is controlled manually. |
Property | M_BR2 |
---|
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 settings of the sun blinds in a room intended by the temperature control are as determined by the function tempBlindNoMalSet.
If the machine assumes a serious malfunction of the sensors, used to determine the settings of the actuators controlling the temperature, the current settings of the sun blinds in a room intended by the temperature control are as determined by the function tempBlindMalSet. |
Property | M_BR3 |
---|
NL | : | If the machine does not assume a serious malfunction of the sensors, used to determine the settings of the actuators controlling the light, the current settings of the sun blinds in a room intended by the light control are as determined by the function lightBlindNoMalSet.
If the machine assumes a serious malfunction of the sensors, used to determine the settings of the actuators controlling the light, the current settings of the sun blinds in a room intended by the light control are as determined by the function lightBlindMalSet. |
Property | M_BR4 |
---|
NL | : | If the sun blinds are controlled manually the value adjusted by the machine for each sun blind is equal to the corresponding switch status of the control panel. |
Property | M_BR5 |
---|
NL | : | If the sun blinds are not controlled manually the value adjusted by the machine for each sun blind is equal to the value determined for the sun blinds by the function resolveBlindConflict. |