NDLI: DICE: Monitoring Global Invariants with Wireless Sensor Networks

Please wait, while we are loading the content...

ACM Transactions on Sensor Networks (TOSN) : Volume 13

ACM Transactions on Sensor Networks (TOSN) : Volume 12

ACM Transactions on Sensor Networks (TOSN) : Volume 11

ACM Transactions on Sensor Networks (TOSN) : Volume 10

Issue 4, June 2014

DICE: Monitoring Global Invariants with Wireless Sensor Networks

Formation Detection with Wireless Sensor Networks

Maximizing the Lifetime of Query-Based Wireless Sensor Networks

Spatiotemporal Aquatic Field Reconstruction Using Cyber-Physical Robotic Sensor Systems

PDVLoc: A Personal Data Vault for Controlled Location Data Sharing

Maximizing Quality of Coverage under Connectivity Constraints in Solar-Powered Active Wireless Sensor Networks

Sensor Mission Assignment in Rechargeable Wireless Sensor Networks

A Quality-Aware Voice Streaming System for Wireless Sensor Networks

Flash-Optimized Temporal Indexing for Time-Series Data Storage on Sensor Platforms

Low-Cost Indoor Location Management for Robots Using IR Leds and an IR Camera

ftTRACK: Fault-Tolerant Target Tracking in Binary Sensor Networks

Efficient Cluster Mobility Support for TDMA-Based MAC Protocols in Wireless Sensor Networks

A Review of Wireless-Sensor-Network-Enabled Building Energy Management Systems

Opportunistic Routing in Low Duty-Cycle Wireless Sensor Networks

Sensor Placement with Multiple Objectives for Structural Health Monitoring

Issue 3, April 2014

Issue 2, January 2014

Issue 1, November 2013

ACM Transactions on Sensor Networks (TOSN) : Volume 9

ACM Transactions on Sensor Networks (TOSN) : Volume 8

ACM Transactions on Sensor Networks (TOSN) : Volume 7

ACM Transactions on Sensor Networks (TOSN) : Volume 6

ACM Transactions on Sensor Networks (TOSN) : Volume 5

ACM Transactions on Sensor Networks (TOSN) : Volume 4

ACM Transactions on Sensor Networks (TOSN) : Volume 3

ACM Transactions on Sensor Networks (TOSN) : Volume 2

ACM Transactions on Sensor Networks (TOSN) : Volume 1

DICE: Monitoring Global Invariants with Wireless Sensor Networks

Content Provider	ACM Digital Library
Author	Picco, Gian Pietro Mottola, Luca Gună, Ştefan
Copyright Year	2014
Abstract	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 $\textit{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.
Starting Page	1
Ending Page	34
Page Count	34
File Format	PDF
ISSN	15504859
e-ISSN	15504867
DOI	10.1145/2509434
Volume Number	10
Issue Number	4
Journal	ACM Transactions on Sensor Networks (TOSN)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-06-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	System architectures In-network processing and aggregation Network protocols Programming models and languages
Content Type	Text
Resource Type	Article
Subject	Computer Networks and Communications

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking

Security model and framework for information aggregation in sensor networks

New data aggregation approach for time-constrained wireless sensor networks

Secure Data Aggregation in Wireless Sensor Networks

Designing energy efficient target tracking protocol with quality monitoring in wireless sensor networks

An energy-efficient protocol for data gathering and aggregation in wireless sensor networks

BECPA: Bandwidth Efficient Cluster Based Packet Aggregation in Wireless Sensor Network

Integration of False Data Detection With Data Aggregation and Confidential Transmission in Wireless Sensor Networks

Prediction Models for Energy Efficient Data Aggregation in Wireless Sensor Network

DICE: Monitoring Global Invariants with Wireless Sensor Networks

Similar Documents

Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking

Security model and framework for information aggregation in sensor networks

New data aggregation approach for time-constrained wireless sensor networks

Secure Data Aggregation in Wireless Sensor Networks

Designing energy efficient target tracking protocol with quality monitoring in wireless sensor networks

An energy-efficient protocol for data gathering and aggregation in wireless sensor networks

BECPA: Bandwidth Efficient Cluster Based Packet Aggregation in Wireless Sensor Network

Integration of False Data Detection With Data Aggregation and Confidential Transmission in Wireless Sensor Networks

Prediction Models for Energy Efficient Data Aggregation in Wireless Sensor Network

DICE: Monitoring Global Invariants with Wireless Sensor Networks