System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Maté: a tiny virtual machine for sensor networks
Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
The dynamic behavior of a data dissemination protocol for network programming at scale
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
Sympathy for the sensor network debugger
Proceedings of the 3rd international conference on Embedded networked sensor systems
Avrora: scalable sensor network simulation with precise timing
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
MANTIS OS: an embedded multithreaded operating system for wireless micro sensor platforms
Mobile Networks and Applications
Abstractions for safe concurrent programming in networked embedded systems
Proceedings of the 4th international conference on Embedded networked sensor systems
Capsule: an energy-optimized object storage system for memory-constrained sensor devices
Proceedings of the 4th international conference on Embedded networked sensor systems
Scalable logical coordinates framework for routing in wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
EmStar: a software environment for developing and deploying wireless sensor networks
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
NodeMD: diagnosing node-level faults in remote wireless sensor systems
Proceedings of the 5th international conference on Mobile systems, applications and services
StackGuard: automatic adaptive detection and prevention of buffer-overflow attacks
SSYM'98 Proceedings of the 7th conference on USENIX Security Symposium - Volume 7
Visibility: a new metric for protocol design
Proceedings of the 5th international conference on Embedded networked sensor systems
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks
Proceedings of the 5th international conference on Embedded networked sensor systems
Efficient memory safety for TinyOS
Proceedings of the 5th international conference on Embedded networked sensor systems
The LiteOS Operating System: Towards Unix-Like Abstractions for Wireless Sensor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Finding Symbolic Bug Patterns in Sensor Networks
DCOSS '09 Proceedings of the 5th IEEE International Conference on Distributed Computing in Sensor Systems
Macrodebugging: global views of distributed program execution
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
FIND: faulty node detection for wireless sensor networks
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
Lightweight tracing for wireless sensor networks debugging
Proceedings of the 4th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
Diagnostic powertracing for sensor node failure analysis
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
T-check: bug finding for sensor networks
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment
Proceedings of the 9th ACM/IEEE International Conference on Information Processing in Sensor Networks
Anquiro: enabling efficient static verification of sensor network software
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Elon: enabling efficient and long-term reprogramming for wireless sensor networks
Proceedings of the ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Efficient diagnostic tracing for wireless sensor networks
Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems
Scoped identifiers for efficient bit aligned logging
Proceedings of the Conference on Design, Automation and Test in Europe
Visibility levels: managing the trade off between visibility and resource consumption
REALWSN'10 Proceedings of the 4th international conference on Real-world wireless sensor networks
Dependence-based multi-level tracing and replay for wireless sensor networks debugging
Proceedings of the 2011 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems
Fay: extensible distributed tracing from kernels to clusters
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Monitoring for digital preservation of processes
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
Demo: Towards bug-free implementation for wireless sensor networks
Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems
Does feature matter: anomaly detection in sensor networks
Proceedings of the 6th International Conference on Body Area Networks
Fay: Extensible Distributed Tracing from Kernels to Clusters
ACM Transactions on Computer Systems (TOCS)
Experiences from a decade of TinyOS development
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
Optimizing sensor network reprogramming via in situ reconfigurable components
ACM Transactions on Sensor Networks (TOSN)
Diagnostic tracing for wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
Diagnostic Tools for Wireless Sensor Networks: A Comparative Survey
Journal of Network and Systems Management
Troubleshooting interactive complexity bugs in wireless sensor networks using data mining techniques
ACM Transactions on Sensor Networks (TOSN)
Illuminations and the revelations: lessons learned from GreenOrbs project development
ACM SIGMOBILE Mobile Computing and Communications Review
Elon: Enabling efficient and long-term reprogramming for wireless sensor networks
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |
Effective debugging usually involves watching program state to diagnose bugs. When debugging sensor network applications, this approach is often time-consuming and errorprone, not only because of the lack of visibility into system state, but also because of the difficulty to watch the right variables at the right time. In this paper, we present declarative tracepoints, a debugging system that allows the user to insert a group of action-associated checkpoints, or tracepoints, to applications being debugged at runtime. Tracepoints do not require modifying application source code. Instead, they are written in a declarative, SQL-like language called TraceSQL independently. By triggering the associated actions when these checkpoints are reached, this system automates the debugging process by removing the human from the loop. We show that declarative tracepoints are able to express the core functionality of a range of previously isolated debugging techniques, such as EnviroLog, NodeMD, Sympathy, and StackGuard. We describe the design and implementation of the declarative tracepoints system, evaluate its overhead in terms of CPU slowdown, illustrate its expressiveness through the aforementioned debugging techniques, and finally demonstrate that it can be used to detect real bugs using case studies of three bugs based on the development of the LiteOS operating system.