基于搜索的可配置信息物理系统误配置自动修复:以电梯调度算法的工业案例研究
软件工程
2023-08-15 v2
摘要
现实世界中的信息物理系统(CPS)通常是可配置的。通过参数,可以配置、选择或取消选择不同的系统功能。虽然这提供了高度的灵活性,但也成为由于误配置导致故障的来源。由于使用基于仿真的测试,这类系统具有大量参数且测试执行时间长,使得手动修复过程成为一项繁琐的活动。因此,在此背景下,自动化修复方法至关重要。在本文中,我们提出一种自动修复 CPS 误配置的方法。我们的方法通过来自电梯领域的工业 CPS 案例研究进行评估。使用真实建筑和运行获得数据的实验表明,我们的方法优于基线算法以及当前实践水平(即由领域专家进行的手动修复)。
引用
@article{arxiv.2301.01487,
title = {Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms},
author = {Pablo Valle and Aitor Arrieta and Maite Arratibel},
journal= {arXiv preprint arXiv:2301.01487},
year = {2023}
}
备注
To be published in the 45th International Conference on Software Engineering, SEIP track