Supporting systems QoS design and evolution through model transformations

Authors:
Amogh Kavimandan;Aniruddha Gokhale
Affiliations:
Vanderbilt University, Nashville, TN;Vanderbilt University, Nashville, TN
Venue:
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion
Year:
2007

Citing 2
Cited 0

Bogor: an extensible and highly-modular software model checking framework

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
QUICKER: A Model-Driven QoS Mapping Tool for QoS-Enabled Component Middleware

ISORC '07 Proceedings of the 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe Quality of service pICKER (QUICKER), a model-driven QoS mapping toolchain for supporting the QoS design and evolution of systems software. QUICKER automates the mapping of QoS requirements onto middleware-specific QoS configuration options by (1) choosing appropriate subset of QoS options for given QoS policies and (2) assigning values to each of these selected QoS options. QUICKER also provides support for validating the generated QoS configurations and resolving any dependencies between them using model checking.