通过自适应需求弱化实现特征交互的运行时消解

当两个或多个独立开发的组件以未预期的方式相互作用并产生不良系统行为时，就会出现特征交互问题。特征交互问题对信息物理系统（CPS）中的新兴领域（如物联网和自主无人机）仍是一项挑战。现有的特征交互解决技术采用“赢者通吃”的方法，即从冲突特征中选择一个最合意的特征，其余的被禁用。然而，当多个冲突特征都满足重要系统需求时，被迫选择其中之一可能导致不良的系统结果。在本文中，我们提出一种新的解决思路，允许所有冲突特征在消解过程中继续部分满足其需求。具体而言，我们的方法利用自适应需求弱化的思想，即一个或多个特征暂时降低其性能水平，以便与其他特征一致地共存。给定以信号时序逻辑（STL）指定的特征需求，我们提出了一种自动化方法和运行时架构，用于自动弱化需求以解决冲突。我们通过自主无人机中特征交互的案例研究展示了我们的方法。