Run-Time Model Evaluation for Requirements Model-Driven Self-Adaptation

Abstract : A self-adaptive system adjusts its configuration to tolerate changes in its operating environment. To date, requirements modeling methodologies for self-adaptive systems have necessitated analysis of all potential system configurations, and the circumstances under which each is to be adopted. We argue that, by explicitly capturing and modelling uncertainty in the operating environment, and by verifying and analysing this model at runtime, it is possible for a system to adapt to tolerate some conditions that were not fully considered at design time. We showcase in this paper our tools and research results.
Type de document :
Communication dans un congrès
RE 2012 - 20th International Requirements Engineering Conference, Tool Demo, Sep 2012, Chicago, United States. IEEE, Requirements Engineering Conference (RE), 2012 20th IEEE International, pp.329-330, 2012, 〈10.1109/RE.2012.6345829〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00718992
Contributeur : Nelly Bencomo <>
Soumis le : mercredi 18 juillet 2012 - 16:31:41
Dernière modification le : vendredi 25 mai 2018 - 12:02:02

Lien texte intégral

Identifiants

Collections

Citation

Nelly Bencomo, Kris Welsh. Run-Time Model Evaluation for Requirements Model-Driven Self-Adaptation. RE 2012 - 20th International Requirements Engineering Conference, Tool Demo, Sep 2012, Chicago, United States. IEEE, Requirements Engineering Conference (RE), 2012 20th IEEE International, pp.329-330, 2012, 〈10.1109/RE.2012.6345829〉. 〈hal-00718992〉

Partager

Métriques

Consultations de la notice

115