Abstract Software development for the automation of industrial facilities (e.g., oil platforms, chemical plants, power plants, etc.) involves implementing control logic, often in IEC 61131-3 programming languages. Developing safe and efficient program code is expensive and today still requires substantial manual effort. Researchers have thus proposed numerous approaches for automatic control logic generation in the last two decades, but a systematic, in-depth analysis of their capabilities and assumptions is missing. This paper proposes a novel classification framework for control logic generation approaches defining criteria derived from industry best practices. The framework is applied to compare and analyze 13 different control logic generation approaches. Prominent findings include different categories of control logic generation approaches, the challenge of dealing with iterative engineering processes, and the need for more experimental validations in larger case studies.

中文翻译：

---

工业自动化中自动控制代码生成的分类框架

摘要 工业设施（例如石油平台、化工厂、发电厂等）自动化的软件开发涉及实现控制逻辑，通常使用 IEC 61131-3 编程语言。开发安全高效的程序代码成本高昂，而且今天仍然需要大量的手动工作。因此，研究人员在过去的 20 年中提出了多种自动控制逻辑生成方法，但缺少对其能力和假设的系统、深入的分析。本文提出了一种新的分类框架，用于定义源自行业最佳实践的标准的控制逻辑生成方法。该框架用于比较和分析 13 种不同的控制逻辑生成方法。突出的发现包括不同类别的控制逻辑生成方法，