Overall, the findings indicate that LLMs can support early-stage SysML-v2 modelling as human-in-the-loop assistants, while expert validation remains necessary to ensure syntactic correctness, semantic consistency, and domain validity.
Abstract
Large Language Models (LLMs) show growing potential for transforming natural-language engineering information into formal model-based artefacts. However, their reliability for SysML-v2 artefact generation remains insufficiently understood, particularly regarding prompt-strategy selection, model-dependent variability, and task-specific performance. This paper proposes a prompt-strategy-driven method for LLM-assisted SysML-v2 artefact generation in Model-Based Systems Engineering. The method is grounded in a systematic literature analysis and a Harvey-Balls-based assessment of existing approaches, which reveal gaps in reproducibility, prompt evaluation, and formal modelling support. The proposed workflow integrates input preparation, prompt-strategy selection, LLM selection, artefact generation, syntax validation, and quality evaluation. It is evaluated using a traction battery system case study across three representative modelling tasks: requirements generation, block definition modelling, and state-machine modelling. Four LLMs are compared using five prompt strategies and assessed through F1-score analysis and LLM-as-a-Judge evaluation. Within the investigated traction-battery case study, the observed artefact scores differed across prompt strategies and modelling tasks, and no single strategy achieved the highest observed score across all tasks. Overall, the findings indicate that LLMs can support early-stage SysML-v2 modelling as human-in-the-loop assistants, while expert validation remains necessary to ensure syntactic correctness, semantic consistency, and domain validity.
Model-Based Systems Engineering (MBSE) increasingly depends on architectural models of physical and engineered systems that are both syntactically valid and semantically consistent with their originating requirements. Authoring such models by hand in SysML v2 is slow and demands scarce expertise, a recognised “modellin...
Jose Olivert-Iserte· Proceedings of the ACM/IEEE...· 0 citations
This paper explores modeling techniques using SysML v2, specifically investigating the efficacy and limitations of usage‐first modelling to represent key system concepts in an example model.
Tommie Liddy, Matthew Wylie· INCOSE International Symposi...· 0 citations
The increasing complexity of systems within Model-Based Systems Engineering (MBSE) environments has made structured and reliable use case modeling critically important. Existing approaches to SysML Use Case Diagram modeling and verification remain fragmented, addressing generation, validation, or reuse in isolation. Th...
Magesh Nachiappan Nachiappan, Shathyanaraynan Balashanmugam, P. de Saqui-Sannes et al.· Systems· 0 citations
Model-Based System Engineering (MBSE) has become essential for the development of complex systems involving multiple stakeholders, engineering domains, and software tools. However, effective collaboration remains hindered by model fragmentation, where critical engineering data is distributed across heterogeneous enviro...
Léo Le Van Canh Canh Dit Ban, Luc Fabresse, Xavier Le Pallec et al.· Proceedings of the ACM/IEEE...· 0 citations
Json-SysML is introduced, a compact, AI-optimized representation that encodes SysML v1 models into a standardized and semantically accessible JSON format, supported by an automated, bidirectional conversion pipeline that bridges Json-SysML and XMI-encoded SysML models, facilitating integration within existing MBSE envi...
Yousef Khoubrane, Nassara Elhadji Ille Gado, Rui Li et al.· Proceedings of the ACM/IEEE...· 0 citations
Requirements specification is a pivotal activity in software development. The use of structured templates for specifying requirements can improve their clarity, consistency, and analyzability, which is particularly important in safety-critical domains such as avionics to support verification and certification activitie...