Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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 (Engelska)Ingår i: ACM transactions on sensor networks, ISSN 1550-4867, E-ISSN 1550-4859, Vol. 10, nr 4, artikel-id 54Artikel i tidskrift (Refereegranskat) 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.

Ort, förlag, år, upplaga, sidor
Association for Computing Machinery , 2014. Vol. 10, nr 4, artikel-id 54
Nyckelord [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
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:ri:diva-47303DOI: 10.1145/2509434Scopus ID: 2-s2.0-84995622072OAI: oai:DiVA.org:ri-47303DiVA, id: diva2:1461433
Tillgänglig från: 2020-08-26 Skapad: 2020-08-26 Senast uppdaterad: 2023-05-25Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Mottola, Luca

Sök vidare i DiVA

Av författaren/redaktören
Mottola, Luca
Av organisationen
SICS
I samma tidskrift
ACM transactions on sensor networks
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 26 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf