Diagnostic tracing for wireless sensor networks

ACM Transactions on Sensor Networks

Volumn 9, Issue 4, 2013, Pages

  Sundaram, Vinaitheerthan ^a   Eugster, Patrick ^b   Zhang, Xiangyu ^b   Addanki, Vamsidhar ^a  

^a Purdue University   (United States)

^b PURDUE UNIVERSITY   (United States)

Author keywords

Diagnosis; Embedded debugging; Tracing; Wireless sensor networks

Indexed keywords

DIAGNOSIS; PROGRAM DIAGNOSTICS; WIRELESS SENSOR NETWORKS;

CONTROL-FLOW; EMBEDDED DEBUGGING; EXECUTION TRACE; HARSH ENVIRONMENT; INTER-PROCEDURAL; LOW OVERHEAD; RESOURCE CONSTRAINT; TRACING;

CONCURRENCY CONTROL;

EID: 84896996787     PISSN: 15504859     EISSN: 15504867     Source Type: Journal    
DOI: 10.1145/2489253.2489255     Document Type: Conference Paper

References (45)

1. Ball, T. And Larus, J. R. 1994. Optimally Profiling And Tracing Programs. Acmtrans. Program. Lang. Syst. 16, 1319-1360.
2. Ball, T. And Larus, J. R. 1996. Efficient Path Profiling. In Proceedings Of The 29Th Annual Acm/Ieee International Symposium On Microarcritecture (Micro).
3. Beutel, J., Romer, K., Ringwald, M., And Woehrle, M. 2009. Deployment Techniques For Sensor Networks. In Sensor Networks: Where Theory Meets Practice, G. Ferrari, Ed., Signals And Communications Theory, Springer Verlag, Berlin Heiddberg, 219-248.
4. Cao, Q., Abdelzaher, T., Stankovic, J., Whitehouse, K., And Luo, L. 2008. Declarative Tracepoints: A Programmable And Application Independent Debugging System For Wireless Sensor Networks. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
5. Chen, B., Peterson, G., Mainland, G., And Welsh, M. 2008. Livenet: Using Passive Monitoring To Reconstruct Sensor Network Dynamics. In Proceedings Of The Ieee International Conference On Distributed Computing In Sensor System (Dcoss).
6. Cooprider, N., Archer, W., Eide, E., Gay, D., And Regehr, J. 2007. Efficient Memory Safety For Tinyos. In Proceedings Of The Acm Conference Embedded Sensor Networks (Sensys).
7. Dunkels, A., Gronvall, B., And Voigt, T. 2004. Contiki -A Lightweight And Flexible Operating System For Tiny Networked Sensors. In Proceedings Of The 29Th Annual Ieee International Conference On Local Computer Networks (Lcn'04).455-462.
8. Dunkels, A., Schmidt, O., Voigt, T., And Ali, M. 2006. Protothreads: Simplifying Event-Driven Programming Of Memory-Constrained Embedded Systems. In Proceedings Of The Acm Conference Embedded Sensor Networks (Sensys).
9. Ertin, E., Arora, A., Ramnath, R., Naik, V., Bapat, S., Kulathumani, V., Sridharan, M., Zhang, H., Cao, H., And Nesterenko, M. 2006. Kansei: A Testbed For Sensing At Scale. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
10. Geels, D.,Altekar, G., Maniatis, P., And Roscoe, T. 2007. Friday: Global Comprehension For Distributed Replay. In Proceedings Of The Acm Symposium On Networked Systems Design And Implementation (Nsdi).
11. Hasler, A., Talzi, I., Beutel, J., Tschudin, C., And Gruber, S. 2008. Wireless Sensor Networks In Permafrost Research -Concept, Requirements, Implementation And Challenges. In Proceedings Of The 9Th International Conference On Permafrost (Nicop).
12. Heinzelman, W. B., Chandrakasan, A. P., And Balakrishnan, H. 2002. An Application-Specific Protocol Architecture For Wireless Microsensor Networks. Ieee Trans. Wirel. Commun. 1, 4, 660-670.
13. Herbert, D., Sundaram, V., Lu, Y. H., Bagchi, S., And Li, Z. 2007. Adaptive Correctness Monitoring For Wireless Sensor Networks Using Hierarchical Distributed Run-Time Invariant Checking. Acm Trans. Auton. Adapt. Syst. 2, 3, 8.
14. Keller, M., Beutel, J., Meier, A., Lim, R., And Thiele, L. 2009. Learning From Sensor Network Data. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
15. Khan, M. M. H., Le, H., Ahmadi, H., Abdelzaher, T., And Han, J. 2008. Dustminer: Troubleshooting Interactive Complexity Bugs In Sensor Networks. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
16. Khan, M. M. H., Luo, L., Huang, C., And Abdelzaher, T. F. 2007. Snts: Sensor Network Troubleshooting Suite. In Proceedings Of The Ieee International Conference On Distributed Computing In Sensor System (Dcoss).
17. Klues, K., Liang, C.-J. M., Paek, J., Musaloiu-Elefteri, R., Levis, P., Terzis, A., And Govindan, R. 2009. Tosthreads: Thread-Safe And Non-Invasive Preemption In Tinyos. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
18. Kothari, N., Millstein, T., And Govindan, R. 2008. Deriving State Machines From Tinyos Programs Using Symbolic Execution. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
19. Kothari, N., Nagaraja, K.,Raghunathan, V.,Sultan, F., And Chakradhar, S. 2008. Hermes: A Software Architecture For Visibility And Control In Wireless Sensor Network Deployments. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
20. Krunic, V., Trumpler, E., And Han, R. 2007. Nodemd: Diagnosing Node-Level Faults In Remote Wireless Sensor Systems. In Proceedings Of The Acm International Conference On Mobile Systems, Analysis And Simulation Of Wireless Mobile Systems (Mobisys).
21. Lai, Z., Cheung, S. C., And Chan, W. K. 2008. Inter-Context Control-Flow And Data-Flow Test Adequacy Criteria For Nesc Applications. In Proceedings Of The Acm International Symposium On Foundations Of Software Engineering (Fse).
22. Larus, J. R. 1999. Whole Program Paths. In Proceedings Of The Acm Conference On Programming Language Design And Implementation (Pldi).
23. Levis, P., Lee, N., Welsh, M., And Culler, D. 2003. Tossim: Accurate And Scalable Simulation Of Entire Tinyos Applications. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
24. Levis, P.,Madden, S.,Polastre, J., Szewczyk, R.,Whitehouse, K., Woo, A., Gay, D.,Hill, J.,Welsh, M., Brewer, E., And Culler, D. 2005. Tinyos: An Operating System For Sensor Networks. In Ambient Intelligence, W. Weber, J. M. Rabaey, And E. Aarts, Eds. Springer Verlag, Berlin Heidelberg Chapter 7.
25. Li, P. And Regehr, J. 2010. T-Check: Bug Finding For Sensor Networks. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
26. Liu, K., Li, M., Liu, Y.,Li, M., Guo, Z., And Hong, F. 2008. Pad: Passive Diagnosis For Wireless Sensor Networks. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
27. Liu, X., Guo, Z., Wang, X., Chen, F., Lian, X., Tang, J., Wu, M., Kaashoek, M. F., And Zhang, Z. 2008. D3S: Debugging Deployed Distributed Systems. In Proceedings Of The Acm Symposium On Networked Systems Design And Implementation (Nsdi).
28. Luo, L., He, T., Zhou, G., Gu, L., Abdelzaher, T. F., And Stankovic, J. A. 2006. Achieving Repeatability Of Asynchronous Events In Wireless Sensor Networks With Envirolog. In Proceedings Of The Annual Joint Conference Of The Ieee Computer And Communications Societies (Infocom).
29. Melski, D. And Reps, T. W. 1999. Interprocedural Path Profiling. In Proceedings Of The Acm International Conference On Compiler Construction (Cc).
30. Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P. A., And Neamtiu, I. 2008. Finding And Reproducing Heisenbugs In Concurrent Programs. In Proceedings Of The Acm Usenix Symposium On Operating Systems Design And Implementation (Osdi).
31. Nguyen, N. T. M. And Soffa, M. L. 2007. Program Representations For Testing Wireless Sensor Network Applications. In Proceedings Of The Workshop On Domain-Specific Approches To Software Test Automation In Conjuction With The 6Th Esec/Fse Joint Meeting (Dosta'07). 20-26.
32. Polley, J., Blazakis, D., Mcgee, J., Rusk, D., And Baras, J. S. 2004. Atemu: A Fine-Grained Sensor Network Simulator. In Proceedings Of The Ieee International Conference On Sensor And Ad Hoc Communications And Networks (Secon).
33. Ramanathan, N., Chang, K., Kapur, R., Girod, L., Kohler, E., And Estrin, D. 2005. Sympathy For The Sensor Network Debugger. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
34. Sauter, R., Saukh, O., Frietsch, O., And Marron, P. J. 2011. Tinylts: Efficient Network-Wide Logging And Tracing System For Tinyos. In Proceedings Of The Ieee Annual Joint Conference Of The Ieee Computer And Communications Societies (Infocom).
35. Shea, R., Srivastava, M., And Cho, Y. 2010. Scoped Identifiers For Efficient Bit Aligned Logging. In Proceedings Of The Conference And Exhibition On Design, Automation And Test In Europe (Date).
36. Sookoor, T., Hnat, T., Hooimeijer, P., Weimer, W., And Whitehouse, K. 2009. Macrodebugging: Global Views Of Distributed Program Execution. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
37. Sundaram, V., Bagchi, S., Lu, Y.-H., And Li, Z. 2008. Sendorcomm: An Energy-Efficient Priority-Driven Communication Layer For Reliable Wireless Sensor Networks. In Proceedings Of The Ieee Symposium On Reliable Distributed Systems (Srds).
38. Sundaram, V., Eugster, P., And Zhang, X. 2010. Efficient Diagnostic Tracing For Wireless Sensor Networks. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).
39. Sundaram, V.,Eugster, P., And Zhang, X. 2011. Demo Abstract: Diagnostic Tracing Of Wireless Sensor Networks With Tinytracer. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
40. Titzer, B. L., Lee, D. K., And Palsberg, J. 2005. Avrora: Scalable Sensor Network Simulation With Precise Timing. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
41. Tolle, G. And Culler, D. 2005. Design Of An Application-Cooperative Management System For Wireless Sensor Networks. In Proceedings Of The 2Nd European Workshop On Wireless Sensor Networks (Ewsn).
42. Welch, T. A. 1984. Technique For High-Performance Data Compression. Computer 17, 6.
43. Werner-Allen, G., Swieskowski, P., And Welsh, M. 2005. Motelab: A Wireless Sensor Network Testbed. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
44. Whitehouse, K., Tolle, G., Taneja, J., Sharp, C., Kim, S., Jeong, J., Hui, J., Dutta, P., And Culler, D. 2006. Marionette: Using Rpc For Interactive Development And Debugging Of Wireless Embedded Networks. In Proceedings Of The Acm/Ieee International Conference On Information Processing In Sensor Networks (Ipsn).
45. Yang, J., Soffa, M. L., Selavo, L., And Whitehouse, K. 2007. Clairvoyant: A Comprehensive Source-Level Debugger For Wireless Sensor Networks. In Proceedings Of The Acm Conference On Embedded Sensor Networks (Sensys).