TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
Improving wireless simulation through noise modeling
Proceedings of the 6th international conference on Information processing in sensor networks
The hitchhiker's guide to successful wireless sensor network deployments
Proceedings of the 6th ACM conference on Embedded network sensor systems
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
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
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
Journal of Electronic Testing: Theory and Applications
Evolutionary Optimization: the GP toolkit
Evolutionary Optimization: the GP toolkit
On software verification for sensor nodes
Journal of Systems and Software
A Survey of Automated Techniques for Formal Software Verification
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
Wireless Sensor Networks (WSNs) are widely adopted for applications ranging from surveillance to environmental monitoring. While powerful and relatively inexpensive, they are subject to behavioural faults which make them unreliable. Due to the complex interactions between network nodes, it is difficult to uncover faults in a WSN by resorting to formal techniques for verification and analysis, or to testing. This paper proposes an evolutionary framework to detect anomalous behaviour related to energy consumption in WSN routing protocols. Given a collection protocol, the framework creates candidate topologies and evaluates them through simulation on the basis of metrics measuring the radio activity on nodes. Experimental results using the standard Collection Tree Protocol show that the proposed approach is able to unveil topologies plagued by excessive energy depletion over one or more nodes, and thus could be used as an offline debugging tool to understand and correct the issues before network deployment and during the development of new protocols.