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

Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks, IPSN '10

Volumn , Issue , 2010, Pages 197-208

  Wu, Yafeng ^a   Kapitanova, Krasimira ^a   Li, Jingyuan ^a   Stankovic, John A ^a   Son, Sang H ^a   Whitehouse, Kamin ^a  

^a University of Virginia   (United States)

Author keywords

automatic test generation; code generation; Petri nets; run time application validation; wireless sensor networks

Indexed keywords

AUTOMATED TESTING; AUTOMATIC TEST GENERATION; CODE GENERATION; COMPILER TECHNIQUES; ENVIRONMENTAL CHANGE; HEALTH MONITORING; OPERATING CONDITION; PROGRAM ANALYSIS; PROOF OF CONCEPT; RELIABLE OPERATION; RUN TIME APPLICATION VALIDATION; RUNTIMES; SYSTEM FAILURES;

AUTOMATIC PROGRAMMING; DATA PROCESSING; GRAPH THEORY; NETWORK COMPONENTS; PETRI NETS; PROGRAM COMPILERS; SENSOR NETWORKS; STRUCTURES (BUILT OBJECTS); SYSTEMS ENGINEERING;

WIRELESS SENSOR NETWORKS;

EID: 77954493143     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1791212.1791236     Document Type: Conference Paper

References (36)

1. Y. Al-Raisi and D. Parish. Approximate wireless sensor network health monitoring. In IWCMC, August 2007.
2. T. Clouqueur, K. K. Saluja, and P. Ramanathan. Fault tolerance in collaborative sensor networks for target detection. In IEEE Transactions on Computers, 2004.
3. CrossBow. http://www.xbow.com/Products/Product-pdf- files/Wireless-pdf/ TelosB-Datasheet.pdf.
4. M. Dyer, J. Beutel, L. Thiele, T. Kalt, P. Oehen, K. Martin, and P. Blum. Deployment support network - a toolkit for the development of WSNs. In EWSN 2007, January 2007.
5. C. Girault and R. Valk. Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag New York, Inc., 2001.
6. T. He, S. Krishnamurthy, J. Stankovic, T. Abdelzaher, L. Luo, T. Yan, J. Hui, and B. Krogh. Energy efficient surveillance systems using wireless sensor networks. In Mobisys, June 2004.
7. D. Herbert, V. Sundaram, Y. Lu, S. Bagchi, and Z. Li. Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. In TAAS, September 2007.
8. IBM Autonomic Computing, 2008. http://www.research.ibm.com/ autonomic/.
9. X. Jiang, J. Taneja, J. Ortiz, A. Tavakoli, P. Dutta, J. Jeong, D. Culler, P. Levis, , and S. Shenker. An architecture for energy management in wireless sensor networks. In SIGBED, April 2007.
10. B. Jiao, S. Son, and J. Stankovic. GEM: Generic event service middleware for wireless sensor networks. INSS, 2005.
11. M. Khan, T. Abdelzaher, and K. Gupta. Towards diagnostic simulation in sensor networks. In DCOSS, 2008.
12. M. Khan, H. Le, H. Ahmadi, T. F. Abdelzaher, and J. Han. Dustminer: troubleshooting interactive complexity bugs in sensor networks. In SenSys, 2008.
13. A. Kolawa and D. Huizinga. Automated Defect Prevention: Best Practices in Software Management. Wiley-IEEE Computer Society Press, 2007.
14. Z. Lai, S. Cheung, and W. Chan. Inter-context control-flow and data-flow test adequacy criteria for nesc applications. In SIGSOFT, 2008.
15. P. Levis, S. Madden, J. Polastre, R. Szewczyk, K. Whitehouse1, A. Woo, D. Gay, J. Hill, M. Welsh, E. Brewer, and D. Culler. TinyOS: An operating system for sensor networks. In Ambient Intelligence, 2005.
16. H. Liu, L. Selavo, , and J. Stankovic. SeeDTV: Deployment-time validation for wireless sensor networks. In EmNetS 2007, June 2007.
17. L. Luo, T. He, G. Zhou, L. Gu, T. Abdelzaher, and J. A. Stankovic. Achieving repeatability of asynchronous events in wireless sensor networks with envirolog. In Infocom 2006, April 2006.
18. N. Nguyen and M. L. Soffa. Program representations for testing wireless sensor network applications. In DOSTA, 2007.
19. L. Paradis and Q. Han. A survey of fault management in wireless sensor networks. In JNSM, June 2007.
20. J. L. Peterson. Petri nets. ACM Computing Surveys, 9(3):223-252, 1977.
21. N. Ramanathan, K. Chang, L. Girod, R. Kapur, E. Kohler, and D. Estrin. Sympathy for the sensor network debugger. In SenSys, November 2005.
22. J. Regehr. Random testing of interrupt-driven software. In EMSOFT, 2005.
23. M. Ringwald, K. Romer, and A. Vitaletti. SNTS: Sensor Network Troubleshooting Suite. In DCOSS, June 2007.
24. M. Ringwald, K. Romera, and A. Vitaletti. Passive inspection of sensor networks. In DCOSS 2007, June 2007.
25. B. rong Chen, G. Peterson, G. Mainland, and M. Welsh. LiveNet: Using passive monitoring to reconstruct sensor network dynamics. In DCOSS 2008, June 2008.
26. S. Rost and H. Balakrishnan. Memento: A health monitoring system for wireless sensor networks. In SECON 2006, September 2006.
27. L. Ruiz, J. Nogueira, and A. Loureiro. MANNA: A management architecture for wireless sensor networks. In IEEE Communications Magazine, February 2003.
28. L. Ruiz, I. Siqueira, L. Oliveira, H. Wong, J. Nogueira, and A. Loureiro. Fault management in event-driven wireless sensor networks. In MSWiM, October 2004.
29. T. Sookoor, T. Hnat, P. Hooimeijer, W. Weimer, and K. Whitehouse. Macrodebugging: Global views of distributed program execution. In SenSys, 2009.
30. G. Tolle and D. Culler. Design of an application-cooperative management system for wireless sensor networks. In EWSN, February 2005.
31. C. Wan, S. Eisenman, and A. Campbell. CODA: Congestion detection and avoidance in sensor networks. In SenSys, November 2003.
32. K. Whitehouse, G. Tolle, J. Taneja, C. Sharp, S. Kim, J. Jeong, J. Hui, P. Dutta, and D. Culler. Marionette: using RPC for interactive development and debugging of wireless embedded networks. In IPSN, 2006.
33. J. Yang, M. Soffa, L. Selavo, and K. Whitehouse. Clairvoyant: A comprehensive source-level debugger for wireless sensor networks. In SenSys, November 2007.
34. M. Yu, H. Mokhtar, and M. Merabti. Fault management in wireless sensor networks. In IEEE Wireless Communications, December 2007.
35. H. Zhang and A. Arora. GS3: scalable self-configuration and self-healing in wireless sensor networks. In Computer Networks (Elsevier), November 2003.
36. Y. Zhao, R. Govindan, and D. Estrin. Residual energy scan for monitoring sensor networks. In WCNC, March 2002.