University of Limerick
Browse
2012_Ali.pdf (199.83 kB)

Optimizing monitoring requirements in self-adaptive systems

Download (199.83 kB)
conference contribution
posted on 2012-07-02, 13:50 authored by Raian Ali, Alberto Griggio, Anders Franzén, Fabiano Dalpiaz, Paolo Giorgini
Monitoring the system environment is a key functionality of a self- adaptive system. Monitoring requirements denote the information a self-adaptive system has to capture at runtime to decide upon whether an adaptation action has to be taken. The identification of monitoring requirements is a complex task which can easily lead to redundancy and uselessness in the set of information to be monitored and this, consequently, means unjustified instalment of monitoring infrastructure and extra processing time. In this paper, we study the optimiza- tion of monitoring requirements. We discuss the case of contextual goal model, which is a requirements model that weaves between variability of goals (func- tional and non-functional requirements) and variability of context (monitoring requirements) and is meant to be used for modelling mobile and self-adaptive sys- tems requirements.We provide automated analysis —based on a SAT-solver—to process a contextual goal model and find a reduced set of contextual information monitor guaranteeing that this reduction does not sacrifice the system ability of taking correct adaptation decisions when fulfilling its requirements.

Funding

Study on Aerodynamic Characteristics Control of Slender Body Using Active Flow Control Technique

Japan Society for the Promotion of Science

Find out more...

History

Publication

The 17th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD'12);

Note

peer-reviewed

Other Funding information

ERC, SFI, Provincia Autonoma di Trento and the European Community's FP7/2007-2013

Language

English

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC