Affiliation:
1. Linnaeus University, Sweden, and KU Leuven, Belgium
2. KU Leuven, Belgium, and Linnaeus University, Sweden
3. Lund University, Sweden
Abstract
Self-adaptation provides a principled way to deal with software systems’ uncertainty during operation. Examples of such uncertainties are disturbances in the environment, variations in sensor readings, and changes in user requirements. As more systems with strict goals require self-adaptation, the need for formal guarantees in self-adaptive systems is becoming a high-priority concern. Designing self-adaptive software using principles from control theory has been identified as one of the approaches to provide guarantees. In general, self-adaptation covers a wide range of approaches to maintain system requirements under uncertainty, ranging from dynamic adaptation of system parameters to runtime architectural reconfiguration. Existing control-theoretic approaches have mainly focused on handling requirements in the form of setpoint values or as quantities to be optimized. Furthermore, existing research primarily focuses on handling uncertainty in the execution environment. This article presents SimCA*, which provides two contributions to the state-of-the-art in control-theoretic adaptation: (i) it supports requirements that keep a value above and below a required threshold, in addition to setpoint and optimization requirements; and (ii) it deals with uncertainty in system parameters, component interactions, system requirements, in addition to uncertainty in the environment. SimCA* provides guarantees for the three types of requirements of the system that is subject to different types of uncertainties. We evaluate SimCA* for two systems with strict requirements from different domains: an Unmanned Underwater Vehicle system used for oceanic surveillance and an Internet of Things application for monitoring a geographical area. The test results confirm that SimCA* can satisfy the three types of requirements in the presence of different types of uncertainty.
Publisher
Association for Computing Machinery (ACM)
Subject
Software,Computer Science (miscellaneous),Control and Systems Engineering
Reference45 articles.
1. SimCA* project website. 2018. Retrieved from https://people.cs.kuleuven.be/danny.weyns/software/simplex/index.htm. SimCA* project website. 2018. Retrieved from https://people.cs.kuleuven.be/danny.weyns/software/simplex/index.htm.
2. A survey on sensor networks
3. A survey of methods for time series change point detection
4. Model predictive control for software systems with CobRA
5. Engineering Self-Adaptive Systems through Feedback Loops
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A hybrid model for efficient decision-making in self-adaptive systems;Information and Software Technology;2023-01
2. A Proactive Self-Adaptation Approach for Software Systems based on Environment-Aware Model Predictive Control;2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS);2022-12
3. Toward Dynamic Enterprise Architecture Model using MAPE-K, Control theory and Machine Learning to achieve autonomic adaptiveness;2022 International Conference on Computational Modelling, Simulation and Optimization (ICCMSO);2022-12
4. AgileCtrl: a self-adaptive framework for configuration tuning;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
5. Rango: An Intuitive Rule Language for Learning Classifier Systems in Cyber-Physical Systems;2022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS);2022-09