Reliability of Run-Time Quality-of-Service evaluation using parametric model checking.
Guoxin SuDavid S. RosenblumGiordano TamburrelliPublished in: ICSE (2016)
Keyphrases
- quality of service
- model checking
- temporal logic
- qos requirements
- temporal properties
- resource management
- response time
- formal verification
- ad hoc networks
- finite state
- automated verification
- model checker
- admission control
- formal specification
- qos routing
- ip networks
- symbolic model checking
- qos parameters
- bounded model checking
- web services
- computation tree logic
- real time
- network resources
- bandwidth allocation
- transition systems
- verification method
- service selection
- formal methods
- multimedia services
- alternating time temporal logic
- differentiated services
- markov chain
- resource reservation
- multi agent