• Home
  • Search
  • QoS policy verification for DiffServ networks
  • Cite Icon4
  • https://doi.org/10.1109/iwqos.2011.5931332Copy DOI Icon

QoS policy verification for DiffServ networks

  • Jun 1, 2011
  • Taghrid Samak +2 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Configuring routers and network devices to achieve quality of service (QoS) goals is a challenging task. In a DiffServ environment, traffic flows are assigned specific classes of service, and service level agreements (SLA) are enforced at routers within the domain. We present a model for QoS policy configurations that facilitates efficient property-based verification. Network configuration is given as a set of policies governing each device. The model efficiently checks the SLA against the current configuration using computation tree logic model checking. By following possible decision paths for a specific flow from source to destination, properties can be checked at each hop, and assessments can be made on how well configurations adhere to the specified agreement. The model also covers configuration debugging given a specific QoS violation.

Similar Papers
  • Research Article
  • Citations18

Dynamic inter-SLA resource sharing in path-oriented differentiated services networks

  • Jun 01, 2006
  • IEEE/ACM Transactions on Networking
  • Yu Cheng +1
  • Research Article

A New Heuristic Metatask Scheduling Algorithm Based on Choosing QoS Policy Mechanism

  • Jan 01, 2009
  • International Journal of Distributed Sensor Networks
  • Yong Hou +3
  • Conference Article
  • Citations2

The Flip-Flop SLA Negotiation Strategy Using Concession Extrapolation and 3D Utility Function

  • Nov 01, 2016
  • Waheed Aslam Ghumman +2
  • Conference Article
  • Citations4

Combining multi-agent systems and MDE approach for monitoring SLA violations in the Cloud Computing

  • Jun 01, 2015
  • Adil Maarouf +3
  • Research Article

차별화 서비스망을 위한 정책 기반 서비스 품질 관리 모델

  • Apr 01, 2003
  • The KIPS Transactions:PartC
  • Si-Ho Cha +2
  • Research Article
  • Citations2

Dynamic changes of QoS parameters in cloud computing service level agreement

  • Jan 01, 2019
  • International Journal of Business Information Systems
  • Abdel Rahman Al Ghuwairi +3
  • Research Article
  • Citations2

Dynamic changes of QoS parameters in cloud computing service level agreement

  • Jan 01, 2019
  • International Journal of Business Information Systems
  • Abdel Rahman Al Ghuwairi +3
  • Research Article
  • Citations5

A fuzzy Grid-QoS framework for obtaining higher grid resources availability

  • Dec 21, 2011
  • The Journal of Supercomputing
  • David Allenotor +1
  • Book Chapter
  • Citations65

SLA-Based Advance Reservations with Flexible and Adaptive Time QoS Parameters

  • Jan 01, 2007
  • Marco A S Netto +2
  • Conference Article
  • Citations13

ML-SLA-IoT: an SLA Specification and Monitoring Framework for IoT applications

  • Dec 27, 2021
  • Staifi Noureddine +1
  • Research Article
  • Citations17

Monitoring web services’ quality of service: a literature review

  • Oct 30, 2012
  • Artificial Intelligence Review
  • Mohd Hilmi Hasan +2
  • Book Chapter
  • Citations2

Toward Context-Aware SLA for Cloud Computing

  • Jan 01, 2017
  • Taher Labidi +3
  • Conference Article
  • Citations2

Disassembling SLAs for follow-up processes in an SOA system

  • Dec 01, 2008
  • Chih-Hao Hsu +2
  • Conference Article
  • Citations4

Monitoring QoS parameters of composed web services

  • Feb 01, 2014
  • J Karthikeyan +1
  • Conference Article
  • Citations1

An Investigation of the Role of Service Level Agreements in Classified Advertisement Websites

  • Jan 01, 2009
  • Aijaz Soomro +2
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.