Buchumschlag

Spec2Control: Automating PLC/DCS Control-Logic Engineering from Natural Language Requirements with LLMs - A Multi-Plant Evaluation

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Koziolek, Heiko, Braun, Thilo, Ashiwal, Virendra, Linsbauer, Sofia, Hansen, Marthe Ahlgreen, Grotterud, Karoline
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Automated Control Logic Test Case Generation using Large Language Models
von: Koziolek, Heiko, et al.
Veröffentlicht: (2024)

AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers
von: Yang, Donghao, et al.
Veröffentlicht: (2024)

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents
von: Liu, Zihan, et al.
Veröffentlicht: (2024)

Manifesto from Dagstuhl Perspectives Workshop 24452 -- Reframing Technical Debt
von: Avgeriou, Paris, et al.
Veröffentlicht: (2025)

LLMREI: Automating Requirements Elicitation Interviews with LLMs
von: Korn, Alexander, et al.
Veröffentlicht: (2025)

DiffSpec: Differential Testing with LLMs using Natural Language Specifications and Code Artifacts
von: Rao, Nikitha, et al.
Veröffentlicht: (2024)

Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses
von: Zhang, Weixing, et al.
Veröffentlicht: (2026)

From Specifications to Prompts: On the Future of Generative LLMs in Requirements Engineering
von: Vogelsang, Andreas
Veröffentlicht: (2024)

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
von: Ma, Zhi, et al.
Veröffentlicht: (2025)

Ernst Denert Award for Software Engineering 2019
von: Felderer, Michael, et al.
Veröffentlicht: (2020)

Analysis of LLMs vs Human Experts in Requirements Engineering
von: Hymel, Cory, et al.
Veröffentlicht: (2025)

AutoSpec: Automated Generation of Neural Network Specifications
von: Jin, Shuowei, et al.
Veröffentlicht: (2024)

Practical Guidelines for the Selection and Evaluation of Natural Language Processing Techniques in Requirements Engineering
von: Sabetzadeh, Mehrdad, et al.
Veröffentlicht: (2024)

GUISpector: An MLLM Agent Framework for Automated Verification of Natural Language Requirements in GUI Prototypes
von: Kolthoff, Kristian, et al.
Veröffentlicht: (2025)

Software Architecture Meets LLMs: A Systematic Literature Review
von: Schmid, Larissa, et al.
Veröffentlicht: (2025)

An Experience Report on a Pedagogically Controlled, Curriculum-Constrained AI Tutor for SE Education
von: Happe, Lucia, et al.
Veröffentlicht: (2025)

SpecRover: Code Intent Extraction via LLMs
von: Ruan, Haifeng, et al.
Veröffentlicht: (2024)

Automating Code Generation for Semiconductor Equipment Control from Developer Utterances with LLMs
von: Kim, Youngkyoung, et al.
Veröffentlicht: (2025)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
von: Li, Xiaoqi, et al.
Veröffentlicht: (2024)

Automated Requirements Relation Extraction
von: Motger, Quim, et al.
Veröffentlicht: (2024)

Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
von: Zhang, Weixing, et al.
Veröffentlicht: (2026)

Towards a Software Reference Architecture for Natural Language Processing Tools in Requirements Engineering
von: Frattini, Julian, et al.
Veröffentlicht: (2026)

Bridging the PLC Binary Analysis Gap: A Cross-Compiler Dataset and Neural Framework for Industrial Control Systems
von: Achamyeleh, Yonatan Gizachew, et al.
Veröffentlicht: (2025)

SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
von: Ma, Lezhi, et al.
Veröffentlicht: (2024)

Requirements are All You Need: From Requirements to Code with LLMs
von: Wei, Bingyang
Veröffentlicht: (2024)

AutoOffAB: Toward Automated Offline A/B Testing for Data-Driven Requirement Engineering
von: Wu, Jie JW
Veröffentlicht: (2023)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
von: Farrell, Marie, et al.
Veröffentlicht: (2021)

Vendor-Aware Industrial Agents: RAG-Enhanced LLMs for Secure On-Premise PLC Code Generation
von: Kersting, Joschka, et al.
Veröffentlicht: (2025)

A Rapid Review Regarding the Concept of Legal Requirements in Requirements Engineering
von: Ruohonen, Jukka
Veröffentlicht: (2025)

Using Large Language Models for Natural Language Processing Tasks in Requirements Engineering: A Systematic Guideline
von: Vogelsang, Andreas, et al.
Veröffentlicht: (2024)

Natural Language Processing for Requirements Traceability
von: Guo, Jin L. C., et al.
Veröffentlicht: (2024)

From Inductive to Deductive: LLMs-Based Qualitative Data Analysis in Requirements Engineering
von: Shah, Syed Tauhid Ullah, et al.
Veröffentlicht: (2025)

CodeSpecBench: Benchmarking LLMs for Executable Behavioral Specification Generation
von: Chen, Zaoyu, et al.
Veröffentlicht: (2026)

LLM-Assisted Repository-Level Generation with Structured Spec-Driven Engineering
von: Feng, Shuzhao, et al.
Veröffentlicht: (2026)

Attributes of a Great Requirements Engineer
von: Barbosa, Larissa, et al.
Veröffentlicht: (2024)

Self-Elicitation of Requirements with Automated GUI Prototyping
von: Kolthoff, Kristian, et al.
Veröffentlicht: (2024)

Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
von: Huang, Kaicheng, et al.
Veröffentlicht: (2025)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
von: Mavridou, Anastasia, et al.
Veröffentlicht: (2025)

Leveraging LLMs for the Quality Assurance of Software Requirements
von: Lubos, Sebastian, et al.
Veröffentlicht: (2024)

Replication in Requirements Engineering: the NLP for RE Case
von: Abualhaija, Sallam, et al.
Veröffentlicht: (2023)