Time synchronization in ad hoc networks
MobiHoc '01 Proceedings of the 2nd ACM international symposium on Mobile ad hoc networking & computing
EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks
ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
Fine-grained network time synchronization using reference broadcasts
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Sympathy for the sensor network debugger
Proceedings of the 3rd international conference on Embedded networked sensor systems
Marionette: using RPC for interactive development and debugging of wireless embedded networks
Proceedings of the 5th international conference on Information processing in sensor networks
MoteLab: a wireless sensor network testbed
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Clairvoyant: a comprehensive source-level debugger for wireless sensor networks
Proceedings of the 5th international conference on Embedded networked sensor systems
Increasing the visibility of sensor networks with passive distributed assertions
Proceedings of the workshop on Real-world wireless sensor networks
Dustminer: troubleshooting interactive complexity bugs in sensor networks
Proceedings of the 6th ACM conference on Embedded network sensor systems
Deployment support network a toolkit for the development of WSNs
EWSN'07 Proceedings of the 4th European conference on Wireless sensor networks
Passive inspection of sensor networks
DCOSS'07 Proceedings of the 3rd IEEE international conference on Distributed computing in sensor systems
On the scalability of routing integrated time synchronization
EWSN'06 Proceedings of the Third European conference on Wireless Sensor Networks
Anquiro: enabling efficient static verification of sensor network software
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
Software engineering and wireless sensor networks: happy marriage or consensual divorce?
Proceedings of the FSE/SDP workshop on Future of software engineering research
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
The impact of network topology on collection performance
EWSN'11 Proceedings of the 8th European conference on 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
Brace: an assertion framework for debugging cyber-physical systems
Proceedings of the 34th International Conference on Software Engineering
Towards business processes orchestrating the physical enterprise with wireless sensor networks
Proceedings of the 34th International Conference on Software Engineering
MDiag: Mobility-assisted diagnosis for wireless sensor networks
Journal of Network and Computer Applications
FlockLab: a testbed for distributed, synchronized tracing and profiling of wireless embedded systems
Proceedings of the 12th international conference on Information processing in sensor networks
Diagnostic Tools for Wireless Sensor Networks: A Comparative Survey
Journal of Network and Systems Management
Minerva: distributed tracing and debugging in wireless sensor networks
Proceedings of the 11th ACM Conference on Embedded Networked Sensor Systems
Troubleshooting interactive complexity bugs in wireless sensor networks using data mining techniques
ACM Transactions on Sensor Networks (TOSN)
Failure detection in wireless sensor networks: A sequence-based dynamic approach
ACM Transactions on Sensor Networks (TOSN)
Global property violation detection and diagnosis for wireless sensor networks
Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems
Hi-index | 0.00 |
Sensor networks are prone to failures and are hard to debug. This is particularely true for failures caused by incorrect interaction of multiple nodes. We propose a mechanism called passive distributed assertions (PDA) that allows developers to detect such failures and provides hints on possible causes. PDA allow a programmer to formulate assertions over distributed node states using a simple declarative language, causing the sensor network to emit information that can be passively collected (e.g., using packet sniffing) and evaluated to verify that assertions hold. This passive approach allows us to minimize the interference between the application and assertion verification. Further, our system provides mechanisms to deal with inaccurate traces that result from message loss and synchronization inaccuracies. We implement PDA on the BTnode platform and evaluate it using an extensive case study.