Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
DICE: Monitoring global invariants with wireless sensor networks
University of Trento, Italy.
RISE, Swedish ICT, SICS. Politecnico di Milano, Italy.ORCID iD: 0000-0003-4560-9541
University of Trento, Italy.
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
Available from: 2020-08-26 Created: 2020-08-26 Last updated: 2023-05-25Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Mottola, Luca

Search in DiVA

By author/editor
Mottola, Luca
By organisation
SICS
In the same journal
ACM transactions on sensor networks
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 16 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf