Assuring system reliability in wireless sensor networks via verification and validation.
Zhun ShenKa Lok ManChi-Un LeiEng Gee LimJoongho ChoiPublished in: ISOCC (2012)
Keyphrases
- wireless sensor networks
- sensor networks
- energy efficient
- environmental monitoring
- energy consumption
- sensor nodes
- data aggregation
- model checking
- wireless sensor
- base station
- multi hop
- data transmission
- biological inspired
- energy aware
- formal verification
- routing algorithm
- routing protocol
- energy efficiency
- resource constrained
- signature verification
- data gathering
- data collection
- highly reliable
- reliability analysis
- database
- key management
- wireless networks
- response time
- data streams
- high security
- topology control