The Community for Technology Leaders
2013 21st IEEE International Requirements Engineering Conference (RE) (2012)
Chicago, IL, USA USA
Sept. 24, 2012 to Sept. 28, 2012
ISSN: 1090-750X
ISBN: 978-1-4673-2783-1
pp: 329-330
Kristopher Welsh , School of Computing, University of Kent, UK
Nelly Bencomo , INRIA Paris - Rocquencourt, France
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.
run-time requirements, self-adaptation, self-adaptive, model-driven
Kristopher Welsh, Nelly Bencomo, "Run-time model evaluation for requirements model-driven self-adaptation", 2013 21st IEEE International Requirements Engineering Conference (RE), vol. 00, no. , pp. 329-330, 2012, doi:10.1109/RE.2012.6345829
111 ms
(Ver )