The Community for Technology Leaders
RSS Icon
Subscribe
Los Angeles, CA
March 31, 2009 to April 2, 2009
ISBN: 978-0-7695-3507-4
pp: 269-273
ABSTRACT
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
CITATION
J. Green, S. Bhattacharyya, B. Panja, "Real-Time Logic Verification of a Wireless Sensor Network", CSIE, 2009, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE, 2009 WRI World Congress on Computer Science and Information Engineering, CSIE 2009, pp. 269-273, doi:10.1109/CSIE.2009.944
12 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool