Runtime verification for wireless sensor network applications

Wireless sensor networks are widely used to detect environment information that is not accessible by human. Developing such networks however requires low-level programming. The lack of sophisticated debugging tools for sensor networks makes it difficult to make the connection between a high-level functional or performance requirement and low-level implementation. This paper investigates a high-level approach by examining low-level execution data from a simulator and checking the data against specification written in formal logics. Such a technique raise the development level for wireless sensor network and providing a mechanism for understanding high level behaviors of the system in terms of low-level observation. This study can become a road map for wireless sensor network application development.