基于搜索的可配置信息物理系统错误配置自动修复：电梯调度算法的工业案例研究
Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms
AI总结：
本文针对可配置信息物理系统错误配置修复难题，提出基于搜索的自动修复方法，并通过真实电梯调度算法工业案例验证其优于基线算法和领域专家手动修复。
摘要：
现实世界中的信息物理系统（CPSs）通常是可配置的。通过参数，可以配置、选择或取消选择不同的系统功能。虽然这提供了很高的灵活性，但由于错误配置，它也成为了故障的一个来源。这些系统拥有的大量参数，以及在此背景下由于使用基于仿真的测试而导致的较长测试执行时间，使得手动修复过程成为一项繁琐的活动。因此，在这种背景下，自动化修复方法至关重要。在本文中，我们提出了一种自动修复CPS错误配置的方法。我们的方法通过一个来自电梯领域的工业CPS案例研究进行评估。使用真实建筑和运行中获得的数据进行的实验表明，我们的方法优于基线算法以及当前实践状态（即由领域专家进行的手动修复）。
英文摘要：
Real-world Cyber-Physical Systems (CPSs) are usually configurable. Through parameters, it is possible to configure, select or unselect different system functionalities. While this provides high flexibility, it also becomes a source for failures due to misconfigurations. The large number of parameters these systems have and the long test execution time in this context due to the use of simulation-based testing make the manual repair process a cumbersome activity. Subsequently, in this context, automated repairing methods are paramount. In this paper, we propose an approach to automatically repair CPSs' misconfigurations. Our approach is evaluated with an industrial CPS case study from the elevation domain. Experiments with a real building and data obtained from operation suggests that our approach outperforms a baseline algorithm as well as the state of the practice (i.e., manual repair carried out by domain experts).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
