Completeness Conditions for Accurate Alerting in Sensor Networks

Sensor networks trigger alerts when some conditions are satisfied. However when loss of data happens, a conservative condition may not generate a necessary alert while an aggressive condition may alerts before it really happens. We suggest new classes of conditions that provide a more accurate alert by investigating systems' properties in both replicated and non-replicated architectures. Our main result indicates that a triggering algorithm, used in one of our condition systems, strictly dominates another algorithm for conservative system, yet, both algorithms satisfy the same set of properties. Therefor such algorithm is much promising to be optimized under our conditions.