Automatic Generation of Repair Suggestions for Control Logic of I&C Systems

• Published in: IECON 2023- 49th Annual Conference of the IEEE Industrial Electronics Society pp. 1 - 6
• Main Authors: Ovsiannikova, Polina, Pakonen, Antti, Vyatkin, Valeriy
• Format: Conference Proceeding
• Language: English
• Published: IEEE 16.10.2023
• Subjects: Control systems; FBD repair; fix suggestions; functional requirements; I&C control logic; Industrial electronics; Maintenance engineering; model checking; safety-critical systems; Visualization

We present an approach for suggesting possible repairs for the control logic of I&C systems implemented in the form of function block diagrams (FBDs) during the design phase. Each FBD has a set of functional requirements formulated using linear temporal logic (LTL). To ensure the correctness of...