The nesC language: A holistic approach to networked embedded systems
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
TOSSIM: accurate and scalable simulation of entire TinyOS applications
Proceedings of the 1st international conference on Embedded networked sensor systems
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
VigilNet: An integrated sensor network system for energy-efficient surveillance
ACM Transactions on Sensor Networks (TOSN)
Beyond event handlers: programming wireless sensors with attributed state machines
IPSN '05 Proceedings of the 4th international symposium 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
EmStar: a software environment for developing and deploying wireless sensor networks
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
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
Sensornet Checkpointing: Enabling Repeatability in Testbeds and Realism in Simulations
EWSN '09 Proceedings of the 6th 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
Simulating and testing mobile wireless sensor networks
Proceedings of the 13th ACM international conference on Modeling, analysis, and simulation of wireless and mobile systems
Modeling and Analysis of TinyOS Sensor Node Firmware: A CSP Approach
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Hi-index | 0.00 |
Designing Wireless Sensor Networks (WSNs) has proven to be a slow, tedious and error-prone process due to the inherent intricacies of designing a distributed, wireless, and embedded system. A systematic design approach accompanied by a test methodology supports the development of WSN software conforming to all design requirements including robustness and reliability. In this paper, we propose the fundamentals of such a test methodology. We present essential features of a framework for testing a broad range of WSN applications. We demonstrate with a case study that our test methodology is a feasible approach by integrating a number of existing design-tools for the TinyOS operating system. While we target TinyOS in the case study the proposed test methodology is general and not tailored to a specific WSN platform or operating system.