{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,17]],"date-time":"2026-10-17T17:10:03Z","timestamp":1792257003037,"version":"4.4.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786583.3786897","type":"proceedings-article","created":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:12:14Z","timestamp":1783761134000},"page":"566-577","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Spec2Control: Automating PLC\/DCS Control-Logic Engineering from Natural Language Requirements with LLMs - A Multi-Plant Evaluation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8805-6206","authenticated-orcid":false,"given":"Heiko","family":"Koziolek","sequence":"first","affiliation":[{"name":"ABB Research, Mannheim, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3229-2648","authenticated-orcid":false,"given":"Thilo","family":"Braun","sequence":"additional","affiliation":[{"name":"ABB Research, Mannheim, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5845-0512","authenticated-orcid":false,"given":"Virendra","family":"Ashiwal","sequence":"additional","affiliation":[{"name":"ABB Research, Mannheim, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8481-8288","authenticated-orcid":false,"given":"Sofia","family":"Linsbauer","sequence":"additional","affiliation":[{"name":"ABB Research, Mannheim, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0563-6849","authenticated-orcid":false,"given":"Marthe Ahlgreen","family":"Hansen","sequence":"additional","affiliation":[{"name":"ABB Process Automation, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0995-7922","authenticated-orcid":false,"given":"Karoline","family":"Grotterud","sequence":"additional","affiliation":[{"name":"ABB Process Automation, Oslo, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,11]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"ABB. 2019. ABB Ability System 800xA Engineering Overview. https:\/\/search.abb.com\/library\/Download.aspx?DocumentID=3BDD013082"},{"key":"e_1_3_3_1_3_2","unstructured":"ABB. 2025. ABB No.1 global market leader in Distributed Control Systems. https:\/\/new.abb.com\/control-systems\/the-most-popular-dcs"},{"key":"e_1_3_3_1_4_2","unstructured":"ABB. 2017. Sadara Brochure. https:\/\/library.e.abb.com\/public\/69d320c591c542d49b7a3d555820ab95\/Sadara Project Brochure.pdf"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Mar\u00eda\u00a0Luz Alvarez Isabel Sarachaga Arantzazu Burgos Elisabet Est\u00e9vez and Marga Marcos. 2016. A methodological approach to model-driven design and development of automation systems. IEEE Transactions on Automation Science and Engineering 15 1 (2016) 67\u201379.","DOI":"10.1109\/TASE.2016.2574644"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1109\/GHTC.2014.6970342"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"crossref","unstructured":"Sangeetha Annam Merry Saxena Ujjwal Kaushik and Shikha Mittal. 2025. LangChain: Simplifying Development with Language Models. Textual Intelligence: Large Language Models and Their Real-World Applications (2025) 287\u2013304.","DOI":"10.1002\/9781394287499.ch12"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Esteban Arroyo Mario Hoernicke Pablo Rodr\u00edguez and Alexander Fay. 2016. Automatic derivation of qualitative plant simulation models from legacy piping and instrumentation diagrams. Computers & Chemical Engineering 92 (2016) 112\u2013132.","DOI":"10.1016\/j.compchemeng.2016.04.040"},{"key":"e_1_3_3_1_9_2","unstructured":"B&R Automation. 2024. B&R introduces new coding environment with cloud collaboration and AI assistant. https:\/\/www.br-automation.com\/en\/about-us\/press-room\/bampr-introduces-new-coding-environment-with-cloud-collaboration-and-ai-assistant-12-11-2024\/"},{"key":"e_1_3_3_1_10_2","unstructured":"Beckhoff. 2025. From chatbot to intelligent agent: TwinCAT Chat becomes TwinCAT CoAgent. https:\/\/www.beckhoff.com\/en-en\/products\/automation\/twincat-projects-with-ai-supported-engineering\/"},{"key":"e_1_3_3_1_11_2","unstructured":"Beckhoff. 2025. TwinCAT3 - PLC Libraries. https:\/\/infosys.beckhoff.com\/english.php?content=..\/content\/1033\/tcinfosys3\/4340797963.html&id=8505895370400145937"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"Michael Brendelberger and Martin Dubovy. 2013. Erfahrungen mit Web-basierter As-Built-Dokumentation. atp edition 55 01-02 (2013) 32\u201337.","DOI":"10.17560\/atp.v55i01-02.1928"},{"key":"e_1_3_3_1_13_2","unstructured":"Victor R Basili1\u00a0Gianluigi Caldiera and H\u00a0Dieter Rombach. 1994. The goal question metric approach. Encyclopedia of software engineering (1994) 528\u2013532."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD-CCA-ISIC.2006.4777057"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2018.8502458"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Elisabet Est\u00e9vez Marga Marcos and Dar\u00edo Orive. 2007. Automatic generation of PLC automation projects from component-based models. The International Journal of Advanced Manufacturing Technology 35 5 (2007) 527\u2013540.","DOI":"10.1007\/s00170-007-1127-4"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/3639477.3639743"},{"key":"e_1_3_3_1_18_2","unstructured":"Yunfan Gao Yun Xiong Xinyu Gao Kangxiang Jia Jinliu Pan Yuxi Bi Yixin Dai Jiawei Sun Haofen Wang and Haofen Wang. 2023. Retrieval-augmented generation for large language models: A survey. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2312.10997 2 1 (2023)."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945520"},{"key":"e_1_3_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005087"},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","DOI":"10.1109\/LLM4Code66737.2025.00013"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"David H\u00e4stbacka Timo Veps\u00e4l\u00e4inen and Seppo Kuikka. 2011. Model-driven development of industrial process control applications. Journal of Systems and Software 84 7 (2011) 1100\u20131113.","DOI":"10.1016\/j.jss.2011.01.063"},{"key":"e_1_3_3_1_23_2","volume-title":"Collaborative process automation systems","author":"Hollender Martin","year":"2010","unstructured":"Martin Hollender. 2010. Collaborative process automation systems. ISA."},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355407"},{"key":"e_1_3_3_1_25_2","unstructured":"Raoul Jetley Divyasheel Sharam Abdulla\u00a0Puthan Peedikayil Dirk Schulz and Vadthyavath Ramu. 2024. Method and system to generate control logic for performing industrial processes. US Patent 12 153 406."},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Robert Julius Max Sch\u00fcrenberg Frank Schumacher and Alexander Fay. 2017. Transformation of GRAFCET to PLC code including hierarchical structures. Control Engineering Practice 64 (2017) 173\u2013194.","DOI":"10.1016\/j.conengprac.2017.03.012"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Byung\u00a0Chul Kim Hyungki Kim Yoochan Moon Gwang Lee and Duhwan Mun. 2022. End-to-end digitization of image format piping and instrumentation diagrams at an industrially applicable level. Journal of Computational Design and Engineering 9 4 (2022) 1298\u20131326.","DOI":"10.1093\/jcde\/qwac056"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"publisher","DOI":"10.1002\/9781119157779"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1109\/SysEng.2018.8544401"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10711016"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Heiko Koziolek Thilo Braun Virendra Ashiwal Sofia Linsbauer Marthe Ahlgreen\u00a0Hansen and Karoline Grotterud. 2025. Spec2Control: Source Code and Supplemental Data. https:\/\/github.com\/hkoziolek\/Spec2Control. Version v1.0; accessed 28 Sep 2025.","DOI":"10.1109\/ETFA65518.2025.11205551"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Heiko Koziolek Andreas Burger Marie Platenius-Mohr and Raoul Jetley. 2020. A classification framework for automated control code generation in industrial automation. Journal of Systems and Software 166 (2020) 110575.","DOI":"10.1016\/j.jss.2020.110575"},{"key":"e_1_3_3_1_33_2","first-page":"152","volume-title":"Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice","author":"Koziolek Heiko","year":"2020","unstructured":"Heiko Koziolek, Andreas Burger, Marie Platenius-Mohr, Julius R\u00fcckert, Hadil Abukwaik, Raoul Jetley, and Abdulla\u00a0P P. 2020. Rule-based code generation in industrial automation: four large-scale case studies applying the cayenne method. In Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering: Software Engineering in Practice. 152\u2013161."},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA54631.2023.10275411"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643795.3648384"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1145\/3643795.3648385"},{"key":"e_1_3_3_1_37_2","volume-title":"6th EUROSIM Congress on Modelling and Simulation, Ljubljana, Slov\u00e9nie","author":"Krause Herbert","year":"2007","unstructured":"Herbert Krause. 2007. Virtual commissioning of a large LNG plant with the DCS 800XA by ABB. In 6th EUROSIM Congress on Modelling and Simulation, Ljubljana, Slov\u00e9nie."},{"key":"e_1_3_3_1_38_2","unstructured":"Zihan Liu Ruinan Zeng Dongxia Wang Gengyun Peng Jingyi Wang Qiang Liu Peiyu Liu and Wenhai Wang. 2024. Agents4plc: Automating closed-loop plc code generation and verification in industrial control systems using llm-based agents. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2410.14209 (2024)."},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"crossref","unstructured":"Toma\u017e Lukman Giovanni Godena Jeff Gray Marjan Heri\u010dko and Stanko Strm\u010dnik. 2013. Model-driven engineering of process control software\u2013beyond device-centric abstractions. Control Engineering Practice 21 8 (2013) 1078\u20131096.","DOI":"10.1016\/j.conengprac.2013.03.013"},{"key":"e_1_3_3_1_40_2","unstructured":"Lingrui Mei Jiayu Yao Yuyao Ge Yiwei Wang Baolong Bi Yujun Cai Jiazhi Liu Mingyu Li Zhong-Zhi Li Duzhen Zhang et\u00a0al. 2025. A survey of context engineering for large language models. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2507.13334 (2025)."},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2014.7005088"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355405"},{"key":"e_1_3_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC65507.2025.00085"},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10710789"},{"key":"e_1_3_3_1_45_2","doi-asserted-by":"crossref","unstructured":"Frank Schumacher and Alexander Fay. 2014. Formal representation of GRAFCET to automatically generate control code. Control Engineering Practice 33 (2014) 84\u201393.","DOI":"10.1016\/j.conengprac.2014.09.008"},{"key":"e_1_3_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648109"},{"key":"e_1_3_3_1_47_2","doi-asserted-by":"crossref","unstructured":"Frank Schumacher Sebastian Schr\u00f6ck and Alexander Fay. 2013. Transforming hierarchical concepts of GRAFCET into a suitable Petri net formalism. IFAC Proceedings Volumes 46 9 (2013) 295\u2013300.","DOI":"10.3182\/20130619-3-RU-3018.00188"},{"key":"e_1_3_3_1_48_2","unstructured":"Siemens. 2025. SIEMENS Engineering Copilot. https:\/\/docs.tia.siemens.cloud\/r\/en-us\/v1.1\/siemens-engineering-copilot\/"},{"key":"e_1_3_3_1_49_2","unstructured":"Siemens. 2025. SIMATIC Control Function Library. https:\/\/www.industry-mobile-support.siemens-info.com\/en\/article\/detail\/109974209"},{"key":"e_1_3_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2012.6489546"},{"key":"e_1_3_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.5555\/3122413"},{"key":"e_1_3_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059118"},{"key":"e_1_3_3_1_53_2","volume-title":"IEC 61131-3: Programming industrial automation systems","author":"Tiegelkamp Michael","year":"2010","unstructured":"Michael Tiegelkamp and Karl-Heinz John. 2010. IEC 61131-3: Programming industrial automation systems. Vol.\u00a0166. Springer."},{"key":"e_1_3_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA61755.2024.10711113"},{"key":"e_1_3_3_1_55_2","doi-asserted-by":"crossref","unstructured":"Birgit Vogel-Heuser Daniel Sch\u00fctz Timo Frank and Christoph Legat. 2014. Model-driven engineering of manufacturing automation software projects\u2013A SysML-based approach. Mechatronics 24 7 (2014) 883\u2013897.","DOI":"10.1016\/j.mechatronics.2014.05.003"},{"key":"e_1_3_3_1_56_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2005.1528274"},{"key":"e_1_3_3_1_57_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347155"},{"key":"e_1_3_3_1_58_2","doi-asserted-by":"crossref","unstructured":"Daniel Witsch and Birgit Vogel-Heuser. 2011. PLC-statecharts: An approach to integrate UML-statecharts in open-loop control engineering\u2013aspects on behavioral semantics and model-checking. IFAC Proceedings Volumes 44 1 (2011) 7866\u20137872.","DOI":"10.3182\/20110828-6-IT-1002.02207"},{"key":"e_1_3_3_1_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/3728725.3728757"},{"key":"e_1_3_3_1_60_2","unstructured":"Donghao Yang Aolang Wu Tianyi Zhang Li Zhang Fang Liu Xiaoli Lian Yuming Ren and Jiaji Tian. 2024. A multi-agent framework for extensible structured text generation in PLCs. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2412.02410 (2024)."},{"key":"e_1_3_3_1_61_2","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN58382.2024.10774464"},{"key":"e_1_3_3_1_62_2","doi-asserted-by":"crossref","unstructured":"Yimin Zhang and Mario de Sousa. 2025. Converting IEC 61131-3 LD into SFC Using Large Language Model: Dataset and Testing. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2509.12593 (2025).","DOI":"10.1109\/ETFA65518.2025.11205542"}],"event":{"name":"ICSE-SEIP '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-SEIP '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786583.3786897","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:14:21Z","timestamp":1783761261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786583.3786897"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":61,"alternative-id":["10.1145\/3786583.3786897","10.1145\/3786583"],"URL":"https:\/\/doi.org\/10.1145\/3786583.3786897","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}