Automated Misconfiguration Repair of Configurable Cyber-Physical Systems with Search: an Industrial Case Study on Elevator Dispatching Algorithms

TL;DR

This paper presents an automated approach for repairing misconfigurations in configurable Cyber-Physical Systems, demonstrated through an industrial elevator dispatching case study, showing improved efficiency over manual methods.

Contribution

The paper introduces a novel automated repair method for CPS misconfigurations, validated on an industrial elevator system, outperforming manual and baseline approaches.

Findings

Automated repair outperforms manual expert repair.

Approach reduces repair time and improves accuracy.

Validated on real industrial elevator data.

Abstract

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).