Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
Runtime Resolution of Feature Interactions through Adaptive Requirement Weakening
复制标题
DOI：
10.1109/seams59076.2023.00025
复制
发表时间：
2023-05
期刊：
影响因子：
--
通讯作者：
Simon Chu;Emma Shedden;Changjian Zhang;Rômulo Meira-Góes;Gabriel A. Moreno;D. Garlan;Eunsuk Kang
中科院分区：
文献类型：
--
作者：
Simon Chu;Emma Shedden;Changjian Zhang;Rômulo Meira-Góes;Gabriel A. Moreno;D. Garlan;Eunsuk Kang
当两个或多个独立开发的组件以意想不到的方式相互交互时，就会出现功能交互问题，从而导致不良的系统行为。功能交互问题仍然是网络物理系统（CPS）新兴领域（例如物联网和自主无人机）的挑战。现有的解决功能交互的技术采用“赢者通吃”的方法，其中冲突的功能中的一个被选择为最理想的功能，其余的被禁用。然而，当多个相互冲突的功能满足重要的系统要求时，被迫选择其中之一可能会导致不良的系统结果。在本文中，我们提出了一种新的解决方法，允许所有冲突的功能在解决过程中继续部分满足其要求。特别是，我们的方法利用了自适应需求弱化的思想，其中涉及一个或多个功能暂时削弱其性能水平，以便以一致的方式与其他功能共存。考虑到信号时态逻辑（STL）中指定的功能要求，我们提出了一种自动化方法和运行时架构，用于自动削弱解决冲突的要求。我们通过自主无人机功能交互的案例研究来展示我们的方法
The feature interaction problem occurs when two or more independently developed components interact with each other in unanticipated ways, resulting in undesirable system behaviors. Feature interaction problems remain a challenge for emerging domains in cyber-physical systems (CPS), such as the Internet of Things and autonomous drones. Existing techniques for resolving feature interactions take a “winner-takes-all” approach, where one out of the conflicting features is selected as the most desirable one, and the rest are disabled. However, when multiple of the conflicting features fulfill important system requirements, being forced to select one of them can result in an undesirable system outcome. In this paper, we propose a new resolution approach that allows all of the conflicting features to continue to partially fulfill their requirements during the resolution process. In particular, our approach leverages the idea of adaptive requirement weakening, which involves one or more features temporarily weakening their level of performance in order to co-exist with the other features in a consistent manner. Given feature requirements specified in Signal Temporal Logic (STL), we propose an automated method and a runtime architecture for automatically weakening the requirements to resolve a conflict. We demonstrate our approach through case studies on feature interactions in autonomous drones