SEMAADB (Systems Engineering Modeling Assistant with AI Dataset and Benchmark), a dataset of 3,000 engineering contexts and 15,000 diagrams that provides both a large diagram resource and a set of benchmarks for measuring coherent multi-diagram SysML generation.
Abstract
Systems engineers use several diagrams to describe the structure and behavior of systems. Engineers create these diagrams together to make sure that they use the same elements and remain consistent with one another. Large language models can generate diagrams as text or code, which makes it possible to create system diagrams automatically. However, their ability to generate coherent sets of diagrams is not well understood, and existing datasets and benchmarks do not directly measure this ability at scale. We introduce SEMAADB (Systems Engineering Modeling Assistant with AI Dataset and Benchmark), a dataset of 3,000 engineering contexts and 15,000 diagrams. Each context contains five connected SysML views: Requirement, Block Definition, Activity, State Machine, and Sequence. Here, a view is a diagram that presents one aspect of a system. We checked the diagram sets for consistency and valid rendering. A set of 100 contexts is also human-verified and forms the benchmark test set. We evaluate three language models on two tasks. In diagram repair, the strongest model repairs 64.3% of semantic errors . In cross-diagram update the best propagation F1 is 80.7% when a model applies one change across related diagrams. The results show that syntax repair is nearly solved, but semantic repair and consistency across diagrams are still challenging tasks for models. SEMAADB therefore provides both a large diagram resource and a set of benchmarks for measuring coherent multi-diagram SysML generation.
Large Language Models (LLMs) can assist developers and modelers in many software engineering activities. In the context of model-driven engineering, diagnosing and fixing errors in software specifications is a challenging task, even for human experts. Errors can be subtle, involving a combination of constraints and mod...
Juan Antonio Gómez-Gutiérrez, R. Clarisó· 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
The breakthrough of Large Language Models (LLMs) has changed how different kinds of complex tasks are approached, including the ones that require a higher level of abstraction and critical thinking together with advanced domain-specific knowledge, like Conceptual Modeling. Several experiments on testing the modelin...
Marco Calamo, Massimo Mecella, Monique Snoeck· Journal of Software and Syst...· 0 citations
Characterizing system behaviors in terms of executable methods organizes potential SysML simulation categories and relates the executable models to systems engineering tasking which will increase the complexity of modeling efforts and realize the simulation capabilities for verifying requirements in SysML.
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