This Article 
 Bibliographic References 
 Add to: 
2009 WRI World Congress on Computer Science and Information Engineering
Real-Time Logic Verification of a Wireless Sensor Network
Los Angeles, California USA
March 31-April 02
ISBN: 978-0-7695-3507-4
Monitoring and control of systems using a Wireless Sensor Network (WSN) play a significant role in rapid automated response to events. Automation drives the necessity to check the system correctness due to the critical nature of the operations (i.e. military, air traffic management). The motes in a WSN are event-driven systems. The evolution of the system can be captured by discrete and continuous dynamics modeled using hybrid systems. This leads to the development of a trajectory, allowing for verification of logical correctness that responds to dynamics. We propose a formal modeling paradigm using temporal logics to verify the system, developed modularly as a set of interacting hybrid automata. The method formulates the specifications and checks for satisfaction. The models are implemented using UPPAAL, a real time verification tool.
Index Terms:
wireless sensor network, verification, sensor node, hybrid automata
J. Green, S. Bhattacharyya, B. Panja, "Real-Time Logic Verification of a Wireless Sensor Network," csie, vol. 3, pp.269-273, 2009 WRI World Congress on Computer Science and Information Engineering, 2009
Usage of this product signifies your acceptance of the Terms of Use.