DICE: Monitoring global invariants with wireless sensor networks
2014 (English)In: ACM transactions on sensor networks, ISSN 1550-4867, E-ISSN 1550-4859, Vol. 10, no 4, article id 54Article in journal (Refereed) Published
Abstract [en]
Wireless sensor networks (WSNs) enable decentralized architectures to monitor the behavior of physical processes and to detect deviations from a specified "safe" behavior, for example, to check the operation of control loops. Such correct behavior is typically expressed by global invariants over the state of different sensors or actuators. Nevertheless, to leverage the computing capabilities of WSN nodes, the application intelligence needs to reside inside the network. The task of ensuring that the monitored processes behave safely thus becomes inherently distributed, and hence more complex. In this article we present DICE, a system enabling WSN-based distributed monitoring of global invariants. A DICE invariant is expressed by predicates defined over the state of multiple WSN nodes, such as the expected state of actuators based on given sensed environmental conditions. Our modular design allows two alternative protocols for detecting invariant violations: both perform in-network aggregation but with different degrees of decentralization, therefore supporting scenarios with different network and data dynamics. We characterize and compare the two protocols using large-scale simulations and a real-world testbed. Our results indicate that invariant violations are detected in a timely and energy-efficient manner. For instance, in a 225-node 15-hop network, invariant violations are detected in less than a second and with only a few packets sent by each node.
Place, publisher, year, edition, pages
Association for Computing Machinery , 2014. Vol. 10, no 4, article id 54
Keywords [en]
Algorithms, C.2.4 [computer-communication networks]: distributed systems - distributed applications, D.3.2 [programming languages]: language classifications - specialized application languages, Design, In-network processing and aggregation, Network protocols, Programming models and languages, System architectures, Actuators, Complex networks, Computer programming, Computer programming languages, Computer systems programming, Distributed computer systems, Energy efficiency, Internet protocols, Monitoring, Network architecture, Sensor nodes, Distributed systems, In-network processing, Programming models, Specialized application languages, Wireless sensor networks
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:ri:diva-47303DOI: 10.1145/2509434Scopus ID: 2-s2.0-84995622072OAI: oai:DiVA.org:ri-47303DiVA, id: diva2:1461433
2020-08-262020-08-262023-05-25Bibliographically approved