Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems
Shevtsov, S.; Weyns, D. (2016). Keep it SIMPLEX: satisfying multiple goals with guarantees in control-based self-adaptive systems, in: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. pp. 229-241. https://dx.doi.org/10.1145/2950290.2950301
In: (2016). Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering. ACM: New York. ISBN 978-1-4503-4218-6. , meer
|
| Beschikbaar in | Auteurs |
|
Documenttype: Congresbijdrage
|
| Trefwoord |
|
| Author keywords |
Self-adaptive system; control theory; simplex; multiple goals |
| Abstract |
An increasingly important concern of software engineers is handling uncertainties at design time, such as environment dynamics that may be difficult to predict or requirements that may change during operation. The idea of self-adaptation is to handle such uncertainties at runtime, when the knowledge becomes available. As more systems with strict requirements require self-adaptation, providing guarantees for adaptation has become a high-priority. Providing such guarantees with traditional architecture-based approaches has shown to be challenging. In response, researchers have studied the application of control theory to realize self-adaptation. However, existing control-theoretic approaches applied to adapt software systems have primarily focused on satisfying only a single adaptation goal at a time, which is often too restrictive for real applications. In this paper, we present Simplex Control Adaptation, SimCA, a new approach to self-adaptation that satisfies multiple goals, while being optimal with respect to an additional goal. SimCA offers robustness to measurement inaccuracy and environmental disturbances, and provides guarantees. We evaluate SimCA for two systems with strict requirements that have to deal with uncertainties: an underwater vehicle system used for oceanic surveillance, and a tele-assistance system for health care support. |
|
