Closed maximelefrancois86 closed 9 months ago
For example a Zigbee light actuator implements different procedures: turn on, turn off, set color, set scene, transition from on to off in 2 s, etc.
For example the BMP282 sensor implements different procedures, where one can skip either the temperature measurement or the pressure measurement, set the oversampling factor for both, parameterize an IIR filter, etc.
In SSN the following axioms are problematic:
They enforce that: if a system implements some procedure, then all the procedure executions it will make (observations, actuations, samplings) necessarily use this procedure.
This has been reported in Section 4.1.2 of the following article:
Proposal: delete these axioms