Show simple item record

dc.contributor.authorIshakian, Vatcheen_US
dc.contributor.authorLapets, Andreien_US
dc.contributor.authorBestavros, Azeren_US
dc.contributor.authorKfoury, Assafen_US
dc.date.accessioned2012-05-21T18:59:38Z
dc.date.available2012-05-21T18:59:38Z
dc.date.issued2010-08-24
dc.identifier.citationIshakian, Vatche; Lapets, Andrei; Bestavros, Azer; Kfoury, Assaf. "Formal Verification of SLA Transformations", Technical Report BUCS-TR-2010-025, Computer Science Department, Boston University, August 24, 2010. [Available from: http://hdl.handle.net/2144/3802]
dc.identifier.urihttps://hdl.handle.net/2144/3802
dc.description.abstractDesirable application performance is typically guaranteed through the use of Service Level Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated for unencumbered use by the application. The mapping between what constitutes desirable performance and SLAs is not unique: multiple SLA expressions might be functionally equivalent. Having the flexibility to transform SLAs from one form to another in a manner that is provably safe would enable hosting solutions to achieve significant efficiencies. This paper demonstrates the promise of such an approach by proposing a type-theoretic framework for the representation and safe transformation of SLAs. Based on that framework, the paper describes a methodical approach for the inference of efficient and safe mappings of periodic, real-time tasks to the physical and virtual hosts that constitute a hierarchical scheduler. Extensive experimental results support the conclusion that the flexibility afforded by safe SLA transformations has the potential to yield significant savings.en_US
dc.language.isoen_US
dc.publisherCS Department, Boston Universityen_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2010-025
dc.titleFormal Verification of SLA Transformationsen_US
dc.typeTechnical Reporten_US


This item appears in the following Collection(s)

Show simple item record