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


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.

Publication DOI:
Divisions: ?? 50811700Jl ??
Additional Information: © 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.
Event Title: 20th IEEE international requirements engineering conference
Event Type: Other
Event Dates: 2012-09-24 - 2012-09-28
Uncontrolled Keywords: self-adaptation,self-adaptive,model-driven,run-time requirements
ISBN: 978-1-4673-2785-5
Last Modified: 17 May 2024 07:24
Date Deposited: 01 Jul 2013 09:27
Full Text Link:
Related URLs: http://www.scop ... tnerID=8YFLogxK (Scopus URL)
PURE Output Type: Conference contribution
Published Date: 2012-01-01
Authors: Welsh, Kristopher
Bencomo, Nelly (ORCID Profile 0000-0001-6895-1636)



Version: Accepted Version

Export / Share Citation


Additional statistics for this record