Cover Image

Exploring LLMs for Verifying Technical System Specifications Against Requirements

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Reinpold, Lasse M., Schieseck, Marvin, Wagner, Lukas P., Gehlhoff, Felix, Fay, Alexander
Format:	Preprint
Published:	2024
Subjects:	Software Engineering Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Formal Model for Artificial Intelligence Applications in Automation Systems
by: Schieseck, Marvin, et al.
Published: (2024)

A SysML Profile for the Standardized Description of Processes during System Development
by: Beers, Lasse, et al.
Published: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
by: Schubert, Richard, et al.
Published: (2026)

Systematic Comparison of Software Agents and Digital Twins: Differences, Similarities, and Synergies in Industrial Production
by: Reinpold, Lasse Matthias, et al.
Published: (2023)

Nutzung von Massespeichern zur Flexibilisierung des Energieverbrauchs: Kosteneffizienter Anlagenbetrieb durch Anpassung an Marktpreise
by: Wagner, Lukas Peter, et al.
Published: (2024)

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

Combination of Site-Wide and Real-Time Optimization for the Control of Systems of Electrolyzers
by: Henkel, Vincent, et al.
Published: (2024)

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap
by: Mulayim, Ozan Baris, et al.
Published: (2025)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
by: Shen, Chao, et al.
Published: (2026)

Skills Composition Framework for Reconfigurable Cyber-Physical Production Modules
by: Sidorenko, Aleksandr, et al.
Published: (2024)

Towards Comprehensive Legislative Requirements for Cyber Physical Systems Testing in the European Union
by: Nguyen, Guillaume, et al.
Published: (2024)

Implementation of Formal Standard for Interoperability in M&S/System of Systems Integration with DEVS/SOA
by: Mittal, Saurabh, et al.
Published: (2024)

Model-based Workflow for the Automated Generation of PDDL Descriptions
by: Nabizada, Hamied, et al.
Published: (2024)

Towards Using Behavior Trees in Industrial Automation Controllers
by: Sidorenko, Aleksandr, et al.
Published: (2024)

HLSTester: Efficient Testing of Behavioral Discrepancies with LLMs for High-Level Synthesis
by: Xu, Kangwei, et al.
Published: (2025)

Improving Requirements Classification with SMOTE-Tomek Preprocessing
by: Or, Barak
Published: (2025)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS
by: Bhadani, Rahul, et al.
Published: (2024)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
by: Hosseini, Amirreza, et al.
Published: (2025)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
by: Ashfaq, Muhammad, et al.
Published: (2024)

Reasonable Experiments in Model-Based Systems Engineering
by: Cederbladh, Johan, et al.
Published: (2025)

Automation Configuration in Smart Home Systems: Challenges and Opportunities
by: Anik, Sheik Murad Hassan, et al.
Published: (2024)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)

Quantifying and combining uncertainty for improving the behavior of Digital Twin Systems
by: Deantoni, Julien, et al.
Published: (2024)

Semantic Capability Model for the Simulation of Manufacturing Processes
by: Reif, Jonathan, et al.
Published: (2024)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
by: Parkash, Om, et al.
Published: (2026)

Remote Assistance or Remote Driving: The Impact of Operational Design Domains on ADS-Supporting Systems Selection
by: Hans, Ole, et al.
Published: (2025)

Simulation-Based Application of Safety of The Intended Functionality to Mitigate Foreseeable Misuse in Automated Driving Systems
by: Patel, Milin, et al.
Published: (2025)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
by: Zacchi, João-Vitor, et al.
Published: (2025)

Verified Synthesis of Optimal Safety Controllers for Human-Robot Collaboration
by: Gleirscher, Mario, et al.
Published: (2021)

Exploring Robot Trajectory Planning -- A Comparative Analysis of Algorithms And Software Implementations in Dynamic Environments
by: Bora, Arunabh
Published: (2024)

An Ontology-based Approach Towards Traceable Behavior Specifications in Automated Driving
by: Salem, Nayel Fabian, et al.
Published: (2024)

Multi-Agent Specification-based Metamorphic Testing of FMU-Based Simulations
by: Kulshreshtha, Ashir, et al.
Published: (2026)

Capability-Driven Skill Generation with LLMs: A RAG-Based Approach for Reusing Existing Libraries and Interfaces
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

Exploring the Use of LLMs for Requirements Specification in an IT Consulting Company
by: Pasquale, Liliana, et al.
Published: (2025)

Cost Optimized Scheduling in Modular Electrolysis Plants
by: Henkel, Vincent, et al.
Published: (2024)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
by: Alexopoulos, Angelos, et al.
Published: (2025)

Exploring Robustness of Image Recognition Models on Hardware Accelerators
by: Louloudakis, Nikolaos, et al.
Published: (2023)

The Open Autonomy Safety Case Framework
by: Wagner, Michael, et al.
Published: (2024)

Digital requirements engineering with an INCOSE-derived SysML meta-model
by: Wheaton, James S., et al.
Published: (2024)

Testing CPS with Design Assumptions-Based Metamorphic Relations and Genetic Programming
by: Mandrioli, Claudio, et al.
Published: (2024)