Run time assurance of application-level requirements in wireless sensor networks

  • Authors:

  • Yafeng Wu;Krasimira Kapitanova;Jingyuan Li;John A. Stankovic;Sang H. Son;Kamin Whitehouse

  • Affiliations:

  • University of Virginia;University of Virginia;University of Virginia;University of Virginia;University of Virginia;University of Virginia

  • Venue:
  • Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a methodology for run-time assurance (RTA), in which we validate at run time that a WSN will function correctly, despite any changes to the operating conditions since it was originally designed and deployed. We use program analysis and compiler techniques to facilitate automated testing of a WSN at run time. As a proof of concept, we implemented a framework for designing and automatically testing WSN applications. We evaluate our implementation on a network of 21 TelosB nodes, and compare performance with an existing network health monitoring solution. Our results indicate that in addition to providing the application-level verification function, RTA misses 75% fewer system failures, produces 70% fewer maintenance dispatches, and incurs 33% less messaging overhead than network health monitoring.