NDLI: A Formal Approach for QoS Assurance in the Cloud

Content Provider	IEEE Xplore Digital Library
Author	Heidari, P. Boucheneb, H. Shami, A.
Copyright Year	2015
Description	Author affiliation: Comput. Eng. Dept., Ecole Polytech. de Montreal, Montreal, QC, Canada (Boucheneb, H.) \|\| Electr. & Comput. Eng. Dept., Western Univ., London, ON, Canada (Heidari, P.; Shami, A.)
Abstract	Cloud computing is an attractive business model offering cost-efficiency and business agility. Recently, the trend is that small and large businesses are moving their services to cloud environments. The quality of service is always negotiated between the cloud users and the cloud providers and documented in the service level agreement (SLA). Yet assuring -- or even measuring -- the quality of the provided service can be challenging. This paper proposes a formal approach for quantifying the quality of service in the cloud systems as promised in the SLA. The proposed approach uses controller synthesis to find a system configuration that meets the SLA requirement. The formal approach suggested in this paper is based on, but not limited to, %the controller synthesis of Time Petri Nets (TPN). As a case study, we focus on service availability as a key performance indicator in the SLA and for a sample set of resources providing a service, we determine the system configuration satisfying the SLA.
Starting Page	629
Ending Page	634
File Size	196703
Page Count	6
File Format	PDF
ISBN	9781467395601
DOI	10.1109/CloudCom.2015.36
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2015-11-30
Publisher Place	Canada
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computers Availability Cloud computing Petri nets Controller Synthesis Quality of service Service Level Agreement (SLA) Quality of Service (QoS) Formal Verification Cloud Computing Time Petri Nets (TPN) Mathematical model Business
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Constructing a Cloud-Centric Service Assurance Platform for Computing as a Service

QoE metrics aggregation for hierarchical Service Level Agreement in Cross-Layered SLA architecture

SLA-driven capacity planning for Cloud applications

Cross-layer SLA Selection for Cloud Services

PSLA: A PaaS Level SLA Description Language

SCAling: SLA-driven cloud auto-scaling

Cloud Computing: The Issue of Service Quality: An Overview of Cloud Service Level Management Architectures

Formal Verification of SLA Transformations

A review on approaches in service level agreement in cloud computing environment

A Formal Approach for QoS Assurance in the Cloud

Similar Documents

Constructing a Cloud-Centric Service Assurance Platform for Computing as a Service

QoE metrics aggregation for hierarchical Service Level Agreement in Cross-Layered SLA architecture

SLA-driven capacity planning for Cloud applications

Cross-layer SLA Selection for Cloud Services

PSLA: A PaaS Level SLA Description Language

SCAling: SLA-driven cloud auto-scaling

Cloud Computing: The Issue of Service Quality: An Overview of Cloud Service Level Management Architectures

Formal Verification of SLA Transformations

A review on approaches in service level agreement in cloud computing environment

A Formal Approach for QoS Assurance in the Cloud