On Designing Provably Correct DODAG Formation Criteria for the IPv6 Routing Protocol for Low-Power and Lossy Networks (RPL).
Agnieszka PaszkowskaKonrad IwanickiPublished in: DCOSS (2018)
Keyphrases
- low power
- routing protocol
- provably correct
- network layer
- power consumption
- high speed
- low cost
- ad hoc networks
- mobile nodes
- wireless ad hoc networks
- energy efficiency
- auto configuration
- packet delivery
- wireless sensor networks
- network topology
- mobile ad hoc networks
- routing algorithm
- energy consumption
- end to end delay
- data transmission
- cross layer
- multi hop
- sensor networks
- situation calculus
- routing scheme
- computer networks
- network structure
- ip addresses
- source node
- application layer
- network resources
- data center
- wireless mesh networks
- physical layer
- formal methods
- wireless networks