Run Time Assurance of Application-Level Requirements in Wireless Sensor Networks

Date Added: Apr 2010
Format: PDF

Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. This paper proposes and demonstrates a methodology for Run-Time Assurance (RTA), in which the authors validates at run time that a WSN will function correctly, despite any changes to the operating conditions since it was originally designed and deployed. This paper uses program analysis and compiler techniques to facilitate automated testing of a WSN at run time.