Description Class Occupancy

INTENTION

This class provides all definitions to describe the occupancy in a specific area. It is a composition of the following two cases:

• occupancy is computed under the condition that all sensors used to determine occupance have no malfunction
• occupancy is computed under the condition that some sensors used to determine occupance have a malfunction

To compose these two cases some entities are introduced that allow to determine whether some sensors used to determine occupancy have a malfunction.

MACHINE SPECIFICATIONS

Property	I_OCC1

NL

:

Initially it has not been entered manually whether there is a malfunction of the sensors determining occupancy or whether there is no malfunction of them.

Property	M_OCC1

NL

:

The machine assumes a malfunction of some sensors used to determine occupancy iff one of the following conditions is fulfilled: a malfunction has been entered manually or it has not been entered manually that there is no malfunction and a malfunction has been detected automatically.

Property	M_OCC2

NL

:

The machine assumes occupancy if and only if one of the following condition is fulfilled: the machine assumes a malfunction of some sensors used to detect occupancy and the predicate representing the value concerning occupancy assumed in this case is true, the machine assumes no malfunction and the predicate representing the value concerning occupancy assumed in this case is true.