Real-Time Logic Verification of a Wireless Sensor Network Conference Paper uri icon

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. 2008 IEEE.

name of conference

  • 2009 WRI World Congress on Computer Science and Information Engineering

published proceedings

  • 2009 WRI World Congress on Computer Science and Information Engineering

author list (cited authors)

  • Green, J., Bhattacharyya, S., & Panja, B.

citation count

  • 5

complete list of authors

  • Green, J||Bhattacharyya, S||Panja, B

publication date

  • January 2009