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).
翻译:现实世界网络- 物理系统( CPS) 通常是可配置的。 通过参数, 可以配置、 选择或不选择不同的系统功能。 虽然这提供了很大的灵活性, 但它也成为了因配置错误而出现故障的来源。 这些系统有许多参数, 并且由于使用模拟测试, 试验执行时间很长, 这使得手工修理过程十分繁琐。 因此, 在此情况下, 自动修理方法至关重要 。 在本文中, 我们提出一个自动修复 CPS 错误配置的方法 。 我们的方法是通过从高空域进行工业化的 CPS 案例研究来评估的 。 从操作中获得的实际建筑和数据的实验表明, 我们的方法超越了基线算法以及实践状况( 即由域专家进行的人工修理 ) 。