A State Space Reduction Method for Model Checking of Wireless Multi-Hop Network Routing Protocols Focusing on Topologies.
Hideharu KojimaNaoto YanaiPublished in: CANDAR Workshops (2019)
Keyphrases
- multi hop
- model checking
- reduction method
- routing protocol
- wireless sensor networks
- wireless ad hoc networks
- mobile ad hoc networks
- ad hoc networks
- wireless networks
- state space
- mobile nodes
- wireless mesh networks
- power control
- cellular networks
- transmission range
- hop count
- network layer
- intermediate nodes
- energy efficient
- network infrastructure
- network simulator
- data transmission
- routing algorithm
- end to end delay
- base station
- end to end
- network topology
- cross layer
- energy consumption
- mobile networks
- sensor networks
- transmission power
- packet delivery
- wifi
- selection algorithm
- sensor nodes
- mac protocol
- multipath
- network architecture
- wireless communication
- network resources
- computer networks
- channel assignment
- communication networks
- node mobility
- network traffic
- physical layer
- peer to peer
- network lifetime
- data structure
- energy efficiency
- network structure
- database systems