Run-time model evaluation for requirements model-driven self-adaptation

Kristopher Welsh, Nelly Bencomo

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publication2012 20th IEEE International Requirements Engineering Conference (RE)
Subtitle of host publicationproceedings
PublisherIEEE
Pages329-330
Number of pages2
ISBN (Print)978-1-4673-2785-5
DOIs
Publication statusPublished - 1 Jan 2012
Event20th IEEE international requirements engineering conference - Chicago, IL, United States
Duration: 24 Sep 201228 Sep 2012

Publication series

NameIEEE conference publications
PublisherIEEE
ISSN (Print)1090-750X

Conference

Conference20th IEEE international requirements engineering conference
Abbreviated titleRE 2012
CountryUnited States
CityChicago, IL
Period24/09/1228/09/12

Bibliographical note

© 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.

Keywords

  • self-adaptation
  • self-adaptive
  • model-driven
  • run-time requirements

Fingerprint Dive into the research topics of 'Run-time model evaluation for requirements model-driven self-adaptation'. Together they form a unique fingerprint.

  • Cite this

    Welsh, K., & Bencomo, N. (2012). Run-time model evaluation for requirements model-driven self-adaptation. In 2012 20th IEEE International Requirements Engineering Conference (RE): proceedings (pp. 329-330). (IEEE conference publications). IEEE. https://doi.org/10.1109/RE.2012.6345829