Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.
Jin Song DongJing SunJun SunKenji TaguchiXian ZhangPublished in: ICFEM (2008)
Keyphrases
- sensor networks
- formal methods
- model checking
- formal specification language
- sensor data
- wireless sensor networks
- formal specification
- energy efficient
- underwater acoustic
- sensor nodes
- temporal logic
- environmental monitoring
- data streams
- resource constrained
- artificial intelligence
- data aggregation
- energy consumption
- communication cost
- software engineering
- knowledge based systems
- base station
- sensor web
- security properties
- modeling language
- heterogeneous sensor networks
- mobile sensor networks
- mobile wireless
- sensor readings
- energy efficiency
- sensing devices
- visual sensor networks
- routing protocol