Formal verification of real-time wireless sensor networks protocols with realistic radio links.
Alexandre MouradianIsabelle Augé-BlumPublished in: RTNS (2013)
Keyphrases
- formal verification
- wireless sensor networks
- real time
- model checking
- wireless communication
- data gathering
- bounded model checking
- symbolic model checking
- energy efficient
- temporal logic
- automated verification
- high fidelity
- timing constraints
- model checker
- data acquisition
- key establishment
- data transmission
- wireless sensor
- wireless sensor nodes
- real time systems
- base station
- sensor nodes
- routing protocol
- quality of service
- low cost
- sensor networks
- reinforcement learning