Runtime verification and reflection for wireless sensor networks.
Stefan FischerMartin LeuckerPublished in: SESENA (2013)
Keyphrases
- wireless sensor networks
- energy efficient
- model checking
- sensor networks
- data aggregation
- energy consumption
- sensor nodes
- topology control
- resource constrained
- formal analysis
- base station
- energy efficiency
- data gathering
- routing algorithm
- database
- environmental monitoring
- biological inspired
- formal methods
- formal verification
- energy aware
- face verification
- wireless communication
- data collection
- multi hop
- network connectivity
- asynchronous circuits
- routing protocol
- verification method
- concurrent systems
- functional verification
- color images