Quality of service in IoT protocol as designs and its verification in PVS.
Muhammad Saqib NawazMeng SunBasit ShahzadMuhammad Ikram Ullah LaliTariq UmerShaohua WanPublished in: Trans. Emerg. Telecommun. Technol. (2022)
Keyphrases
- quality of service
- formal verification
- resource reservation
- qos requirements
- cross layer
- label switching
- medium access control
- protocol stack
- ad hoc networks
- response time
- model checking
- resource management
- web services
- management system
- wireless link
- ip networks
- admission control
- real time
- bandwidth allocation
- service selection
- qos aware
- mac layer
- network resources
- multimedia services
- mac protocol
- service differentiation
- qos routing
- video on demand
- multicast tree
- bandwidth utilization
- cloud computing
- medium access
- mobility management
- traffic engineering
- qos parameters
- tcp ip
- resource utilization
- end to end delay
- communication protocols
- key management
- location information