Correctness of Sensor Network Applications by Software Bounded Model Checking.
Frank WernerDavid FaragóPublished in: FMICS (2010)
Keyphrases
- sensor networks
- bounded model checking
- formal verification
- sensor data
- wireless sensor networks
- model checking
- sensor nodes
- data collection
- resource constrained
- environmental monitoring
- computer systems
- energy efficient
- base station
- sensor readings
- underwater acoustic
- communication cost
- data aggregation
- data streams
- energy consumption
- communication bandwidth
- software development
- network connectivity
- mobile sensor networks
- linear temporal logic
- heterogeneous sensor networks
- visual sensor networks
- sensor web
- software design
- energy efficiency
- temporal logic
- software systems
- wireless sensor
- sensing devices
- sensor placement
- camera network
- web services
- routing protocol
- software engineering
- reduce communication cost