基于UPPAAL的WSNs数据收集协议的建模与分析 (Modeling and Analyzing of WSNs Data Gathering Protocol Based on UPPAAL).
Yachao FengHongli YangFei WangWenjia WuShengchao QinPublished in: 计算机科学 (2016)
Keyphrases
- data gathering
- wireless sensor networks
- model checker
- model checking
- energy efficient
- sensor networks
- base station
- energy consumption
- maximum lifetime
- mac protocol
- network lifetime
- data collection
- timed automata
- sensor nodes
- formal verification
- routing protocol
- secure routing
- formal methods
- data transmission
- residual energy
- routing scheme
- controller synthesis
- social media streams
- energy efficiency
- resource constrained
- multi hop
- node selection
- routing algorithm
- data mining
- mobile nodes
- smart card
- end to end