一句话：提出基于合成的特征交互消解方法，通过合成满足系统规约的动作，在冲突动作均不理想时仍能产生期望结果。
当多个独立特征以不期望的方式相互作用时，会产生特征交互问题；在智能车、无人机和物联网等信息物理系统中，意外交互可能导致安全失效。现有消解方法依赖优先级列表或固定策略，当竞争特征动作均无法满足系统需求时可能失效。本文提出一种基于合成的消解方法：针对给定环境上下文，将特征冲突的消解视为合成问题，自动生成一个最满足期望系统行为规约的动作，而非从既有动作中选择。其特点在于即使所有冲突动作都不令人满意，仍可产生期望的系统结果。作者通过自主无人机中安全关键特征交互的案例研究，展示了该方法的有效性。
The feature interaction problem arises when two or more independent features interact with each other in an undesirable manner. Feature interactions remain a challenging and important problem in emerging domains of cyber-physical systems (CPS), such as intelligent vehicles, unmanned aerial vehicles (UAVs) and the Internet of Things (IoT), where the outcome of an unexpected interaction may result in a safety failure. Existing approaches to resolving feature interactions rely on priority lists or fixed strategies, but may not be effective in scenarios where none of the competing feature actions are satisfactory with respect to system requirements. This paper proposes a novel synthesis-based approach to resolution, where a conflict among features is resolved by synthesizing an action that best satisfies the specification of desirable system behaviors in the given environmental context. Unlike existing resolution methods, our approach is capable of producing a desirable system outcome even when none of the conflicting actions are satisfactory. The effectiveness of the proposed approach is demonstrated using a case study involving interactions among safety-critical features in an autonomous drone.
@inproceedings{paperbot5917,
title = {Synthesis-based resolution of feature interactions in cyber-physical systems},
author = {Benjamin Gafford and Tobias Dürschmid and Gabriel A. Moreno and Eunsuk Kang},
booktitle = {ASE},
year = {2020},
doi = {10.1145/3324884.3416630}
}