CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs
CC '02 Proceedings of the 11th International Conference on Compiler Construction
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
SENS: A Sensor, Environment and Network Simulator
ANSS '04 Proceedings of the 37th annual symposium on Simulation
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
MoteLab: a wireless sensor network testbed
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Jigsaw: solving the puzzle of enterprise 802.11 analysis
Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications
Analyzing the MAC-level behavior of wireless networks in the wild
Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications
EmStar: a software environment for developing and deploying wireless sensor networks
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Fidelity and yield in a volcano monitoring sensor network
OSDI '06 Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation - 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
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
Murphy loves potatoes: experiences from a pilot sensor network deployment in precision agriculture
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
On the scalability of routing integrated time synchronization
EWSN'06 Proceedings of the Third European conference on Wireless Sensor Networks
PDA: Passive distributed assertions for sensor networks
IPSN '09 Proceedings of the 2009 International Conference on Information Processing in Sensor Networks
The impact of network topology on collection performance
EWSN'11 Proceedings of the 8th European conference on Wireless sensor networks
On coordination tools in the PicOS tuples system
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications
Monitoring for digital preservation of processes
CONTEXT'11 Proceedings of the 7th international and interdisciplinary conference on Modeling and using context
| Hi-index | 0.00 |
When deployed in a real-world setting, many sensor networks fail to meet application requirements even though they have been tested in the lab prior to deployment. Hence, concepts and tools for inspection are needed to identify failure causes in situ on the deployment site. Tools for inspection should minimize the interference with the sensor network to, firstly, ensure that failures of the sensor network do not break the inspection mechanism, and, secondly, to ensure that the inspection mechanism does not change the behavior of the sensor network. In this position paper, we propose passive distributed assertions (PDA) as a novel tool for identifying failure causes. PDA allow a programmer to assert certain predicates over distributed node states. Packet sniffing is used to detect failed assertions, thus minimizing the interference with the sensor networks.