Anquiro: enabling efficient static verification of sensor network software.
Luca MottolaThiemo VoigtFredrik ÖsterlindJoakim ErikssonLuciano BaresiCarlo GhezziPublished in: SESENA@ICSE (2010)
Keyphrases
- sensor networks
- wireless sensor networks
- sensor data
- sensor nodes
- data collection
- energy efficient
- environmental monitoring
- energy consumption
- resource constrained
- reduce communication cost
- base station
- software development
- communication cost
- software systems
- visual sensor networks
- data streams
- data aggregation
- data dissemination
- design patterns
- routing protocol
- software design
- computer systems
- sensor readings
- energy efficiency
- wireless sensor
- sensing devices