Skip to content

A Validated Dataset and Benchmark for Coherent Multi-Diagram SysML Models

Oct 2026 · 0 citations · 23 references
Computer Science

TL;DR

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.

View source

Similar papers

#software testing Book Open access Oct 2026

On the Use of LLMs to Diagnose and Repair UML/OCL models

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ó · 0 citations
Jul 2026

A usage‐first modelling methodology in SysML v2

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 · 0 citations
Open access Sep 2026

A Unified Intelligent Framework for SysML Use Case Diagram Modeling and Verification

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. · 0 citations
Open access Sep 2026

Generating UML class diagrams as conceptual models through large language models

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 · 0 citations
Conference

Characterizing the simulation of system behaviors for requirement verification using SysML

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.

Zachary Johnson · 0 citations
Aug 2026

A Critical Task Analysis Method and Extension to the Systems Modeling Language

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 · 0 citations

Related blog posts

Hugging Face Blog Oct 20, 2026

MPS in PyTorch 2.15

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.