Dustminer: Troubleshooting interactive complexity bugs in sensor networks

SenSys'08 - Proceedings of the 6th ACM Conference on Embedded Networked Sensor Systems

Volumn , Issue , 2008, Pages 99-112

  Khan, Mohammad Maifi Hasan ^a   Le, Hieu Khac ^a   Ahmadi, Hossein ^a   Abdelzaher, Tarek F ^a   Han, Jiawei ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

distributed automated debugging; protocol debugging; wireless sensor networks

Indexed keywords

AUTOMATED DEBUGGING; CORNER CASE; DISCRIMINATIVE PATTERN MININGS; EVENT SEQUENCE; EXTENSIBLE FRAMEWORK; MEMORY REQUIREMENTS; MODE OF OPERATIONS; MULTI-CHANNEL MAC PROTOCOLS; NON-FAULTY COMPONENTS; OFFLINE; POOR PERFORMANCE; RUN-TIME DATA; RUNNING APPLICATIONS; SENSING APPLICATIONS; SEQUENCE OF EVENTS; SINGLE CHANNELS;

EMBEDDED SYSTEMS; MEDIUM ACCESS CONTROL; WIRELESS SENSOR NETWORKS;

PROGRAM DEBUGGING;

EID: 84866493206     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1460412.1460423     Document Type: Conference Paper

References (38)

1. http://www.cs.waikato.ac.nz/ml/weka/.
2. R. Agrawal and R. Srikant. Fast algorithms for mining association rules. In Proceedings of the Twentieth International Conference on Very Large Data Bases (VLDB'94), pages 487-499, 1994.
3. M. K. Aguilera, J. C. Mogul, J. L. Wiener, P. Reynolds, and A. Muthitacharoen. Performance debugging for distributed systems of black boxes. In Proceedings of the nineteenth ACM symposium on Operating systems principles (SOSP'03), pages 74-89, 2003. Bolton Landing, NY, USA.
4. P. Ballarini and A. Miller. Model checking medium access control for sensor networks. In Proceedings of the 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'06), pages 255-262, Paphos, Cyprus, November 2006.
5. P. Bodík, G. Friedman, L. Biewald, H. Levine, G. Candea, K. Patel, G. Tolle, J. Hui, A. Fox, M. I. Jordan, and D. Patterson. Combining visualization and statistical analysis to improve operator confidence and efficiency for failure detection and localization. In Proceedings of the 2nd International Conference on Autonomic Computing(ICAC'05), 2005.
6. Q. Cao, T. Abdelzaher, J. Stankovic, and T. He. The liteos operating system: Towards unix-like abstractions for wireless sensor networks. In Proceedings of the Seventh International Conference on Information Processing in Sensor Networks (IPSN'08), April 2008.
7. E. Cheong, J. Liebman, J. Liu, and F. Zhao. Tinygals: a programming model for event-driven embedded systems. In Proceedings of the 2003 ACM symposium on Applied computing (SAC'03), pages 698-704, 2003. Melbourne, Florida.
8. E. Ertin, A. Arora, R. Ramnath, and M. Nesterenko. Kansei: A testbed for sensing at scale. In Proceedings of the 4th Symposium on Information Processing in Sensor Networks (IPSN/SPOTS track), 2006.
9. G. D. Fatta, S. Leue, and E. Stegantova. Discriminative pattern mining in software fault detection. In Proceedings of the 3rd international workshop on Software quality assurance (SOQUA '06), pages 62-69, 2006.
10. E. Frank and I. H. Witten. Generating accurate rule sets without global optimization. In Proceedings of the Fifteenth International Conference on Machine Learning (ICML'98), pages 144-151, 1998.
11. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesc language: A holistic approach to networked embedded systems. In Proceedings of Programming Language Design and Implementation (PLDI'03), pages 1-11, June 2003.
12. L. Girod, J. Elson, A. Cerpa, T. Stathopoulos, N. Ramanathan, and D. Estrin. Emstar: a software environment for developing and deploying wireless sensor networks. In Proceedings of the annual conference on USENIX Annual Technical Conference (ATEC'04), pages 24-24, Boston, MA, 2004.
13. Y. Hanna, H. Rajan, and W. Zhang. Slede: Lightweight specification and formal verification of sensor networks protocols. In Proceedings of the First ACM Conference on Wireless Network Security (WiSec), Alexandria, VA, March-April 2008.
14. M. M. H. Khan, T. Abdelzaher, and K. K. Gupta. Towards diagnostic simulation in sensor networks. In Proceedings of International Conference on Distributed Computing in Sensor Systems (DCOSS), 2008. Greece.
15. M. M. H. Khan, L. Luo, C. Huang, and T. Abdelzaher. Snts: Sensor network troubleshooting suite. In Proceedings of International Conference on Distributed Computing in Sensor Systems (DCOSS), 2007. Santa Fe, New Mexico, USA.
16. H. K. Lee, D. Henriksson, and T. Abdelzaher. A practical multi-channel medium access control protocol for wireless sensor networks. In Proceedings of International Conference on Information Processing in Sensor Networks (IPSN'08), St. Louis, Missouri, April 2008.
17. P. Levis and D. Culler. Mate: a tiny virtual machine for sensor networks. In Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, San Jose, California, October 2002.
18. P. Levis, N. Lee, M. Welsh, and D. Culler. Tossim: accurate and scalable simulation of entire tinyos applications. In Proceedings of the 1st international conference on Embedded networked sensor systems (SenSys'03), pages 126-137, Los Angeles, California, USA, 2003.
19. C. Liu, L. Fei, X. Yan, J. Han, and S. P. Midkiff. Statistical debugging: A hypothesis testing-based approach. IEEE Transactions on Software Engineering, 32:831-848, 2006.
20. C. Liu and J. Han. Failure proximity: a fault localization-based approach. In Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering (SIGSOFT '06/FSE-14), pages 46-56, 2006.
21. C. Liu, Z. Lian, and J. Han. How bayesians debug. In Proceedings of the Sixth International Conference on Data Mining (ICDM'06), pages 382-393, December 2006.
22. C. Liu, X. Yan, L. Fei, J. Han, and S. P. Midkiff. Sober: statistical model-based bug localization. In Proceedings of the 13th ACM SIGSOFT international symposium on Foundations of software engineering (FSE-13), 2005. Lisbon, Portugal.
23. C. Liu, X. Yan, and J. Han. Mining control ow abnormality for logic error isolation. In Proceedings of 2006 SIAM International Conference on Data Mining (SDM'06), Bethesda, MD, April 2006.
24. C. Liu, X. Zhang, J. Han, Y. Zhang, and B. K. Bhargava. Failure indexing: A dynamic slicing based approach. In Proceedings of the 2007 IEEE International Conference on Software Maintenance (ICSM'07), Paris, France, October 2007.
25. L. Luo, T. F. Abdelzaher, T. He, and J. A. Stankovic. Envirosuite: An environmentally immersive programming framework for sensor networks. ACM Transactions on Embedded Computing Systems, 5(3):543-576, 2006.
26. L. Luo, T. He, G. Zhou, L. Gu, T. Abdelzaher, and J. Stankovic. Achieving Repeatability of Asynchronous Events in Wireless Sensor Networks with EnviroLog. In Proceedings of the 25th IEEE International Conference on Computer Communications (INFOCOM'06), pages 1-14, 2006.
27. S. R. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. Tinydb: an acquisitional query processing system for sensor networks. ACM Transactions on Database Systems, 30(1):122-173, 2005.
28. P. Olveczky and S. Thorvaldsen. Formal modeling and analysis of wireless sensor network algorithms in real-time maude. In Proceedings of the International Parallel and Distributed Processing Symposium (IPDPS), Rhodes Island, Greece, April 2006.
29. J. Polley, D. Blazakis, J. McGee, D. Rusk, and J. S. Baras. Atemu: A fine-grained sensor network simulator. In Proceedings of the First International Conference on Sensor and Ad Hoc Communications and Networks (SECON'04), pages 145-152, Santa Clara, CA, October 2004.
30. N. Ramanathan, K. Chang, R. Kapur, L. Girod, E. Kohler, and D. Estrin. Sympathy for the sensor network debugger. In Proceedings of the 3rd international conference on Embedded networked sensor systems (SenSys'05), pages 255-267, 2005.
31. R. Szewczyk, J. Polastre, A. Mainwaring, and D. Culler. Lessons from a sensor network expedition. In Proceedings of the First European Workshop on Sensor Networks (EWSN), 2004.
32. G. Tolle and D. Culler. Design of an application-cooperative management system for wireless sensor networks. In Proceedings of the Second European Workshop on Wireless Sensor Networks (EWSN'05), pages 121-132, Istanbul, Turkey, February 2005.
33. P. Volgyesi, M. Maroti, S. Dora, E. Osses, and A. Ledeczi. Software composition and verification for sensor networks. Science of Computer Programming, 56(1-2):191-210, 2005.
34. Y. Wen and R. Wolski. s2db: A novel simulation-based debugger for sensor network applications. UCSB 2006, 2006-01.
35. Y. Wen, R. Wolski, and G. Moore. Disens: scalable distributed sensor network simulation. In Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming (PPoPP'07), pages 24-34, 2007. San Jose, California, USA.
36. G. Werner-Allen, P. Swieskowski, and M. Welsh. Motelab: A wireless sensor network testbed. In Proceedings of the Fourth International Conference on Information Processing in Sensor Networks (IPSN'05), Special Track on Platform Tools and Design Methods for Network Embedded Sensors (SPOTS), pages 483-488, April 2005.
37. 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 Proceedings of the Fifth International Conference on Information Processing in Sensor Networks: Special Track on Sensor Platform, Tools, and Design Methods for Network Embedded Systems (IPSN/SPOTS), pages 416-423, Nashville, TN, April 2006.
38. J. Yang, M. L. Soffa, L. Selavo, and K. Whitehouse. Clairvoyant: a comprehensive source-level debugger for wireless sensor networks. In Proceedings of the 5th international conference on Embedded networked sensor systems (SenSys'07), pages 189-203, 2007.