Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems Using SimCA
Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems Using SimCA
复制标题
使用 SimCA 在自适应系统中处理新的和不断变化的需求并提供保证
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
M. Maggio
中科院分区：
文献类型：
--
作者：
S. Shevtsov;Danny Weyns;M. Maggio
自我适应提供了一种原则性的方法来处理操作过程中的变化。随着越来越多具有严格目标的系统需要自适应，对自适应系统的保障需求正成为一个高度优先考虑的问题。利用控制理论的原理设计自适应软件已被确定为提供保证的方法之一。然而，目前的解决方案只能以设定值（S-reqs）或待优化值（O-reqs）的形式处理预先指定的需求。本文介绍了SimCA*，它对基于控制的自适应做出了两项贡献：(a)它允许用户指定第三种类型的需求，使其保持高于或低于阈值（T-reqs），以及(b)它可以处理在运行时更改的需求集（即，需求可以动态地调整、激活和停用）。SimCA*提供对干扰的鲁棒性，并提供自适应保证。我们对两个系统的SimCA*进行了评估，这些系统具有来自不同领域的严格目标：用于海洋监视的水下航行器系统和用于医疗保健支持的远程援助系统。测试结果表明，SimCA*可以处理在各种动态类型下运行的三种类型的需求（sto - requests），并且需求集可以动态更改。
Self-adaptation provides a principled way to deal with change during operation. As more systems with strict goals require self-adaptation, the need for guarantees in self-adaptive systems is becoming a high-priority concern. Designing adaptive software using principles from control theory has been identified as one of the approaches to provide guarantees. However, current solutions can only handle pre-specified requirements either in the form of setpoint values (S-reqs) or values to be optimized (O-reqs). This paper presents SimCA* that makes two contributions to control-based self-adaptation: (a) it allows the user to specify a third type of requirement that keeps a value above/below a threshold (T-reqs), and (b) it can deal with requirement sets that change at runtime (i.e., requirements can be adjusted, activated, and deactivated on the fly). SimCA* offers robustness to disturbances and provides adaptation guarantees. We evaluate SimCA* for two systems with strict goals from different domains: an underwater vehicle system used for oceanic surveillance, and a tele-assistance system for health care support. The test results demonstrate that SimCA* can deal with the three types of requirements (STO-reqs) operating under various types of dynamics and the set of requirements can be changed on the fly.
影响因子：
7.4
作者：
Calinescu, Radu;Grunske, Lars;Tamburrelli, Giordano
通讯作者：
Tamburrelli, Giordano