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

The current rapid development and deployment of wireless sensor networks (WSNs) and their application in mission critical systems are exacerbating the need for high confidence WSNs. Achieving high confidence WSNs will require new assurance technologies. Most current solutions deal with faults and reliability and not with application level semantics and associated assurances. We propose the use of a novel WSN design and assurance mechanism, run time assurance (RTA), to guarantee that important application-level requirements are met in mission critical applications.

[1]  Chieh-Yih Wan,et al.  CODA: congestion detection and avoidance in sensor networks , 2003, SenSys '03.

[2]  Mengjie Yu,et al.  Fault management in wireless sensor networks , 2007, IEEE Wireless Communications.

[3]  Adam Kolawa,et al.  Automated Defect Prevention , 2007 .

[4]  Sang Hyuk Son,et al.  GEM: Generic Event Service Middleware for Wireless Sensor Networks , 2005 .

[5]  Parameswaran Ramanathan,et al.  Fault tolerance in collaborative sensor networks for target detection , 2004, IEEE Transactions on Computers.

[6]  Hari Balakrishnan,et al.  Memento: A Health Monitoring System for Wireless Sensor Networks , 2006, 2006 3rd Annual IEEE Communications Society on Sensor and Ad Hoc Communications and Networks.

[7]  John Regehr,et al.  Random testing of interrupt-driven software , 2005, EMSOFT.

[8]  Matt Welsh,et al.  LiveNet: Using Passive Monitoring to Reconstruct Sensor Network Dynamics , 2008, DCOSS.

[9]  Kay Römer,et al.  Passive Inspection of Sensor Networks , 2007, DCOSS.

[10]  David E. Culler,et al.  Design of an application-cooperative management system for wireless sensor networks , 2005, Proceeedings of the Second European Workshop on Wireless Sensor Networks, 2005..

[11]  Jonathan W. Hui,et al.  Marionette: using RPC for interactive development and debugging of wireless embedded networks , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[12]  Antonio Alfredo Ferreira Loureiro,et al.  Fault management in event-driven wireless sensor networks , 2004, MSWiM '04.

[13]  Mary Lou Soffa,et al.  Program representations for testing wireless sensor network applications , 2007, DOSTA '07.

[14]  John A. Stankovic,et al.  SeeDTV: deployment-time validation for wireless sensor networks , 2007, EmNets '07.

[15]  Tarek F. Abdelzaher,et al.  SNTS: Sensor Network Troubleshooting Suite , 2007, DCOSS.

[16]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[17]  Rüdiger Valk,et al.  Petri nets for systems engineering - a guide to modeling, verification, and applications , 2010 .

[18]  Deborah Estrin,et al.  Sympathy for the sensor network debugger , 2005, SenSys '05.

[19]  Tarek F. Abdelzaher,et al.  Towards Diagnostic Simulation in Sensor Networks , 2008, DCOSS.

[20]  Deborah Estrin,et al.  Residual energy scan for monitoring sensor networks , 2002, 2002 IEEE Wireless Communications and Networking Conference Record. WCNC 2002 (Cat. No.02TH8609).

[21]  Hongwei Zhang,et al.  GS3: scalable self-configuration and self-healing in wireless sensor networks , 2003, Comput. Networks.

[22]  Jiawei Han,et al.  Dustminer: troubleshooting interactive complexity bugs in sensor networks , 2008, SenSys '08.

[23]  Kamin Whitehouse,et al.  Clairvoyant: a comprehensive source-level debugger for wireless sensor networks , 2007, SenSys '07.

[24]  Gang Zhou,et al.  Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog , 2006, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[25]  Antonio Alfredo Ferreira Loureiro,et al.  MANNA: a management architecture for wireless sensor networks , 2003, IEEE Commun. Mag..

[26]  David E. Culler,et al.  An architecture for energy management in wireless sensor networks , 2007, SIGBED.

[27]  Kamin Whitehouse,et al.  Macrodebugging: global views of distributed program execution , 2009, SenSys '09.

[28]  Qi Han,et al.  Journal of Network and Systems Management ( c ○ 2007) DOI: 10.1007/s10922-007-9062-0 A Survey of Fault Management in Wireless Sensor Networks , 2022 .

[29]  Saurabh Bagchi,et al.  Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking , 2007, TAAS.

[30]  Lothar Thiele,et al.  Deployment support network a toolkit for the development of WSNs , 2007 .

[31]  David J. Parish,et al.  Approximate wireless sensor network health monitoring , 2007, IWCMC.

[32]  Shing-Chi Cheung,et al.  Inter-context control-flow and data-flow test adequacy criteria for nesC applications , 2008, SIGSOFT '08/FSE-16.