Aug 2026· IEEE International Requirements Engineering Conference· pp. 328-338· 0 citations· 38 references
TL;DR
Evaluated on real-world system-level requirements documents, comprising more than 720 requirements and 72 use cases, the approach generates system-level diagrams comparable to those created by experts and provides valuable architectural recommendations.
Abstract
The increasing complexity of cyber-physical systems, such as modern automotive E/E architectures, demands efficient, consistent, and scalable modeling processes. Traditional manual modeling of SysML diagrams from natural-language requirements is time-consuming and error-prone. We target to assist E/E architects in the process by utilizing large language models (LLMs). Therefore, we designed a three-step approach for automated generation of SysML activity diagrams. First, the approach identifies diagram element candidates in the requirements and matches them to potential existing elements. Second, missing elements are generated, and finally, the elements are linked. Evaluated on real-world system-level requirements documents, comprising more than 720 requirements and 72 use cases, our approach generates system-level diagrams comparable to those created by experts and provides valuable architectural recommendations. A survey with nine industry architects shows that at the system-level LLM-generated diagrams were even rated higher than the diagrams modeled by experts. However, quality degrades at the subsystem-level, where human refinement remains essential for correctness and completeness.
Converting activity diagrams in System Modeling Language (SysML) and natural language requirements into executable probabilistic verification results remains a key bottleneck for safetycritical model-based systems engineering (MBSE). This process involves the use of probabilistic symbolic models (PRISM) and probabilist...
Jia Xu, Lei Yu, Peng Wang et al.· Annual International Compute...· 0 citations
The proposed PF2UML establishes seamless and traceable integration from requirements modeling to system design, significantly reducing manual effort and improving consistency for complex interdisciplinary system development.
Hongbin Xiao, Zhi Li, Yilong Yang et al.· International journal of sof...· 0 citations
A SysML extension and modeling method to support critical task analysis for user interface design of safety‐critical systems and to include human task modeling to support simulation during mission engineering is defined.
Josiah J. Franklin, Michael E. Miller· Systems Engineering· 0 citations
A conformance-checker-driven framework for reliable natural-language-to-SysMLv2 translation that enforces production-level acceptance as the termination condition and converts probabilistic outputs into production-accepted SysMLv2 artifacts suitable for loading, visualization, and engineering use.
Chance LaVoie, Eladio Andujar Lugo, Taylan G. Topcu et al.· arXiv.org· 1 citation
A Domain-Specific Language (DSL), named RI language, designed for the declarative description of microservices, along with a supporting tool, TSE (Toolbox Service Executor), implemented in Python and based on the RI grammar, enables the representation of structural and operational aspects of services in a technology-ag...
Cássio Ritse, Machado Dos, S. Silva et al.· 0 citations
A model-based approach in the Gamma Statechart Composition Framework for integration test generation on the basis of collaborating state-based models is introduced to ease test generation complexity using query-dependent model processing.
Bence Graics, V. Molnár, I. Majzik· Innovations in Systems and S...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.