António Casimiro

A framework for dependable adaptation in probabilistic environments

António Casimiro and Paolo Lolinni and Mônica Dixit and Andrea Bondavalli and Paulo Veríssimo

Technical Report DI/FCUL TR-07-24, Department of Informatics, University of Lisboa, October 2007


Abstract

Distributed applications executing in probabilistic environments, like the Internet, often need to make timing assumptions, for instance about the maximum message delay or the round-trip delay. In the case of adaptive systems these bounds should be computed at run-time, using probabilistic or other more or less ad hoc approaches, typically with the objective of improving the application performance. From a dependability perspective, however, the concern is to secure some properties on which the application can rely. Building on previous work where we set the stage for dependable adaptation, we introduce a general framework for implementing improved solutions for dependable adaptation. During its lifetime, a system alternates periods where its temporal behavior is well characterized, with transition periods where a variation of the environment conditions occurs. The proposed framework rests on the detection of these stable and transient phases, and it is generic in the sense that di®erent detection mechanisms can be included. We use a set of simple phase detection mechanisms inspired in well-known probabilistic tests, along with synthetically generated data °ows, to illustrate how the framework can be applied.

BibTeX

@TechReport{di-fcul-tr-07-24,
    author = {António Casimiro and Paolo Lolinni and Mônica Dixit and Andrea Bondavalli and Paulo Veríssimo},
    title = {A framework for dependable adaptation in probabilistic environments},
    institution = {Department of Informatics, University of Lisbon},
    month = {October},
    year = {2007},
    type = {DI/FCUL TR},
    number = {07--24},
    url = {http://www.di.fc.ul.pt/tech-reports/07-24.pdf}
}

Technical report

Download technical report