António Casimiro

Using the Timely Computing Base for Dependable QoS Adaptation

António Casimiro and Paulo Veríssimo

Technical Report DI/FCUL TR-01-3, Department of Informatics, University of Lisboa, July 2001


In open and heterogeneous environments, where an unpredictable number of applications compete for a limited amount of resources, executions can be affected by also unpredictable delays, which may not even be bounded. Since many of these applications have timeliness requirements, they can only be implemented if they are able to adapt to the existing conditions. Adaptation can be done by several ways, taking into account many different factors, but an obvious factor of success is knowing what they have to adapt to. In this paper we present a novel approach, called Dependable QoS adaptation, which can only be achieved if the environment is accurately and reliably observed. Dependable QoS adaptation is based on the Timely Computing Base (TCB) model. The TCB model is a partial synchrony model that adequately characterizes environments of uncertain synchrony and allows, at the same time, the specification and verification of timeliness requirements. We introduce the coverage stability property and show that adaptive applications can use the TCB to dependably adapt and enjoy this property. We describe the characteristics and the interface of a QoS coverage service and discuss its implementation details.


    author = {António Casimiro and Paulo Veríssimo},
    title = {Using the Timely Computing Base for Dependable QoS Adaptation},
    institution = {Department of Informatics, University of Lisbon},
    month = {July},
    year = {2001},
    type = {DI/FCUL TR},
    number = {01--3},
    url = {}

Technical report

Download technical report