aalto1 untyped-item.component.html
LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code
Loading...
Access rights
openAccess
acceptedVersion
URL
Journal Title
Journal ISSN
Volume Title
A4 Artikkeli konferenssijulkaisussa
This publication is imported from Aalto University research portal.
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
View publication in the Research portal (opens in new window)
View/Open full text file from the Research portal (opens in new window)
Unless otherwise stated, all rights belong to the author. You may download, display and print this publication for Your own personal use. Commercial use is prohibited.
Authors
Date
Major/Subject
Mcode
Degree programme
Language
en
Pages
8
Series
2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA), Proceedings IEEE International Conference on Emerging Technologies and Factory Automation
Abstract
Large Language Models (LLMs) are increasingly being used in software development and in applications like code generation. While LLMs can provide significant value in the form of time savings in common programming languages like Python, their usability in generating automation software has yet to be studied extensively. In the context of generating control software in the form of IEC 61131-3 compliant code, initial studies suggest LLMs provide a promising avenue for increasing control engineer productivity. However, similar code generation for IEC 61499-based control applications is still scarce. While tools are being developed for this purpose, their capabilities are not yet fully understood, and they often require significant human input to generate the intended outcomes. This paper explores LLM-based code generation for IEC 61499-based applications through iterative prompting. The prompts for the experiments are derived from requirements generated by System-Theoretic Process Analysis (STPA), which provides a systematic approach to creating prompts that also connect to the larger systems engineering workflow. The results indicate that while the approach may be successful in some instances, more work is required to mitigate the issues arising from its application.
Description
Keywords
Other note
Citation
King, A & Vyatkin, V 2025, LLM-based Iterative Refinement of Finite-State Machines with STPA Controller Constraints and Generation of IEC 61499 Code. in L Almeida, M Indria, M de Sousa, A Visioli, M Ashjaei & P Santos (eds), 2025 IEEE 30th International Conference on Emerging Technologies and Factory Automation (ETFA). Proceedings IEEE International Conference on Emerging Technologies and Factory Automation, IEEE, IEEE International Conference on Emerging Technologies and Factory Automation, Porto, Portugal, 09/09/2025. https://doi.org/10.1109/ETFA65518.2025.11205687