Cover Image

An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Jin, Dongming, Zhao, Shengxin, Jin, Zhi, Chen, Xiaohong, Wang, Chunhui, Fang, Zheng, Xiao, Hongbin
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Automated Concern Extraction from Textual Requirements of Cyber-Physical Systems: A Multi-solution Study
by: Jin, Dongming, et al.
Published: (2025)

MARE: Multi-Agents Collaboration Framework for Requirements Engineering
by: Jin, Dongming, et al.
Published: (2024)

A System Model Generation Benchmark from Natural Language Requirements
by: Jin, Dongming, et al.
Published: (2025)

A Conceptual Framework for Requirements Engineering of Pretrained-Model-Enabled Systems
by: Jin, Dongming, et al.
Published: (2025)

ReqElicitGym: An Evaluation Environment for Interview Competence in Conversational Requirements Elicitation
by: Jin, Dongming, et al.
Published: (2026)

From Chat to Interview: Agentic Requirements Elicitation with an Experience Ontology
by: Jin, Dongming, et al.
Published: (2026)

UserTrace: User-Level Requirements Generation and Traceability Recovery from Software Project Repositories
by: Jin, Dongming, et al.
Published: (2025)

A Needle in a Haystack: Intent-driven Reusable Artifacts Recommendation with LLMs
by: Jin, Dongming, et al.
Published: (2025)

iReDev: A Knowledge-Driven Multi-Agent Framework for Intelligent Requirements Development
by: Jin, Dongming, et al.
Published: (2025)

UCRBench: Benchmarking LLMs on Use Case Recovery
by: Xiao, Shuyuan, et al.
Published: (2025)

REprompt: Prompt Generation for Intelligent Software Development Guided by Requirements Engineering
by: Shi, Junjie, et al.
Published: (2026)

Bridging the Gap between User Intent and LLM: A Requirement Alignment Approach for Code Generation
by: Li, Jia, et al.
Published: (2026)

ClarifySTL: An Interactive LLM Agent Framework for STL Transformation through Requirements Clarification
by: Fang, Yue, et al.
Published: (2026)

A First Look at Package-to-Group Mechanism: An Empirical Study of the Linux Distributions
by: Jin, Dongming, et al.
Published: (2024)

Are LLMs Reliable Code Reviewers? Systematic Overcorrection in Requirement Conformance Judgement
by: Jin, Haolin, et al.
Published: (2026)

IntentCoding: Amplifying User Intent in Code Generation
by: Fang, Zheng, et al.
Published: (2026)

Automatic Multi-level Feature Tree Construction for Domain-Specific Reusable Artifacts Management
by: Jin, Dongming, et al.
Published: (2025)

Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
by: Odyurt, Uraz, et al.
Published: (2025)

Early Validation of High-level Requirements on Cyber-Physical Systems
by: Vašíček, Ondřej
Published: (2025)

Explicating Tacit Regulatory Knowledge from LLMs to Auto-Formalize Requirements for Compliance Test Case Generation
by: Xue, Zhiyi, et al.
Published: (2026)

Generating Project-Specific Test Cases with Requirement Validation Intention
by: Qi, Binhang, et al.
Published: (2025)

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

Knowledge-Guided Multi-Agent Framework for Automated Requirements Development: A Vision
by: Huang, Jiangping, et al.
Published: (2025)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

Automated Repair of Cyber-Physical Systems
by: Valle, Pablo
Published: (2025)

Foundation Models for the Digital Twin Creation of Cyber-Physical Systems
by: Ali, Shaukat, et al.
Published: (2024)

Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
by: Muzy, Alexandre
Published: (2026)

Multi-role Consensus through LLMs Discussions for Vulnerability Detection
by: Mao, Zhenyu, et al.
Published: (2024)

Foundation Models for Software Engineering of Cyber-Physical Systems: the Road Ahead
by: Lu, Chengjie, et al.
Published: (2025)

Dynamic Risk Management in Cyber Physical Systems
by: Schneider, Daniel, et al.
Published: (2024)

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

Benchmarking Requirement-to-Architecture Generation with Hybrid Evaluation
by: Li, Minxiao, et al.
Published: (2026)

Towards a Unifying Reference Model for Digital Twins of Cyber-Physical Systems
by: Pfeiffer, Jerome, et al.
Published: (2025)

Evaluating Reinforcement Learning Safety and Trustworthiness in Cyber-Physical Systems
by: Dearstyne, Katherine, et al.
Published: (2025)

Requirements-driven Slicing of Simulink Models Using LLMs
by: Luitel, Dipeeka, et al.
Published: (2024)

Towards an Engineering Discipline for Resilient Cyber-Physical Systems
by: Caldas, Ricardo D.
Published: (2024)

Stress Testing Control Loops in Cyber-Physical Systems
by: Mandrioli, Claudio, et al.
Published: (2023)

Industrial Survey on Robustness Testing In Cyber Physical Systems
by: Ponsard, Christophe, et al.
Published: (2026)

Aligning Requirement for Large Language Model's Code Generation
by: Tian, Zhao, et al.
Published: (2025)

Requirements are All You Need: From Requirements to Code with LLMs
by: Wei, Bingyang
Published: (2024)