Efficient diagnostic tracing for wireless sensor networks

SenSys 2010 - Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems

Volumn , Issue , 2010, Pages 169-182

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

^a Purdue University   (United States)

^b PURDUE UNIVERSITY   (United States)

Author keywords

Diagnosis; Embedded debugging; Tracing; Wireless sensor networks

Indexed keywords

COMPUTER PROGRAMMING; CONCURRENCY CONTROL;

CONCURRENT PROGRAMMING; EMBEDDED DEBUGGING; EVENT-DRIVEN; INTER-PROCEDURAL; INTERLEAVINGS; PROGRAMMING MODELS; REAL-WORLD; RESOURCE CONSTRAINT; STRINGENTS; TRACING;

WIRELESS SENSOR NETWORKS;

EID: 78650884701     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1869983.1870001     Document Type: Conference Paper

References (23)

1. T. Ball and J. R. Larus. Efficient path profiling. Micro '96.
2. Q. Cao, T. Abdelzaher, J. Stankovic, K. Whitehouse, and L. Luo. Declarative tracepoints: A programmable and application independent debugging system for wireless sensor networks. SenSys '08.
3. N. Cooprider, W. Archer, E. Eide, D. Gay, and J. Regehr. Efficient memory safety for TinyOS. SenSys '07.
4. D. Geels, G. Altekar, P. Maniatis, and T. Roscoe. Friday: Global comprehension for distributed replay. NSDI '07.
5. W. B. Heinzelman, A. P. Chandrakasan, and H. Balakrishnan. An application-specific protocol architecture for wireless microsensor networks. IEEE TWC, 1(4):660-670, 2002.
6. D. Herbert, V. Sundaram, Y. H. Lu, S. Bagchi, and Z. Li. Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking. ACM TAAS, 2(3):8, 2007.
7. M. Keller, J. Beutel, A. Meier, R. Lim, and L. Thiele. Learning from sensor network data. SenSys '09.
8. M. Khan, H. Le, H. Ahmadi, T. Abdelzaher, and J. Han. Dustminer: Troubleshooting interactive complexity bugs in sensor networks. SenSys '08.
9. N. Kothari, T. Millstein, and R. Govindan. Deriving state machines from TinyOS programs using symbolic execution. IPSN '08.
10. N. Kothari, K. Nagaraja, V. Raghunathan, F. Sultan, and S. Chakradhar. Hermes: A software architecture for visibility and control in wireless sensor network deployments. IPSN '08.
11. V. Krunic, E. Trumpler, and R. Han. NodeMD: Diagnosing nodelevel faults in remote wireless sensor systems. MobiSys '07.
12. J. Larus. Whole program paths. PLDI '99.
13. K. Liu, M. Li, Y. Liu, M. Li, Z. Guo, and F. Hong. Pad: Passive diagnosis for wireless sensor networks. SenSys '08.
14. X. Liu, Z. Guo, X. Wang, F. Chen, X. Lian, J. Tang, M. Wu, M. F. Kaashoek, and Z. Zhang. D3s: Debugging deployed distributed systems. NSDI '09.
15. L. Luo, T. He, G. Zhou, L. Gu, T. F. Abdelzaher, and J. A. Stankovic. Achieving repeatability of asynchronous events in wireless sensor networks with envirolog. INFOCOM '06.
16. D. Melski and T. W. Reps. Interprocedural path profiling. CC '99
17. M. Musuvathi, S. Qadeer, T. Ball, G. Basler, P. A. Nainar, and I. Neamtiu. Finding and reproducing heisenbugs in concurrent programs. OSDI '08
18. N. T. M. Nguyen and M. L. Soffa. Program representations for testing wireless sensor network applications. DOSTA '07.
19. N. Ramanathan, K. Chang, R. Kapur, L. Girod, E. Kohler, and D. Estrin. Sympathy for the sensor network debugger. SenSys '05.
20. R. Shea, M. Srivastava, and Y. Cho. Scoped identifiers for efficient bit aligned logging DATE '10
21. T. Sookoor, T. Hnat, P. Hooimeijer, W. Weimer, and K. Whitehouse. Macrodebugging: global views of distributed program execution. SenSys '09.
22. 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. IPSN '06.
23. J. Yang, M. L. Soffa, L. Selavo, and K. Whitehouse. Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. SenSys '07.