This program is tentative and subject to change.

This paper presents a structured reasoning pipeline that integrates Large Language Models (LLMs) with a tri-layered knowledge graph (KG) framework to automate the generation of SysML v2 modeling artifacts from structured requirements. The approach addresses the persistent challenge of LLM hallucinations in model-based systems engineering (MBSE) by grounding generative outputs in curated knowledge sources. Two core KGs are constructed using a custom Python-based Reasoning Engine: one encodes reusable SysML patterns annotated across nine diagram types, and the other captures domain-specific system models (e.g., aerospace, automotive). A third, system-specific KG is automatically synthesized by parsing capability-linked requirements and aligning them with the foundational KGs and structured prompt templates. These KGs enable context-aware, hierarchical system model generation and inform a dual-parameter prompting strategy: one set is auto injected post-KG construction to preserve domain integrity, and another is derived through our Reasoning Engine over system data prior to LLM invocation. The resulting prompts are validated and refined to produce accurate, high-fidelity SysML v2 representations. This framework offers a scalable path for integrating generative AI into digital engineering (DE) workflows. Ongoing work includes semantic alignment, ontology integration, traceability, prompt optimization, and the addition of a knowledge graph-based memory and planner to enable our reasoner to efficiently execute step-by-step plans—further advancing AI-assisted MBSE.

This program is tentative and subject to change.

Tue 7 Oct

Displayed time zone: Eastern Time (US & Canada) change

08:30 - 10:00
Session 5: LLMs for Model-Based EngineeringSAM Conference at SAM Room 1 [Remote]

Online

08:30
5m
Day opening
Day OpeningRemote
SAM Conference

08:35
28m
Talk
Mitigating Hallucinations in SysML v2 Generation Using LLMs and a Tri-Layered Knowledge Graph Reasoning FrameworkRemote
SAM Conference
Richard Qualis Florida Institute of Technology
09:03
28m
Talk
Towards LLM Agents for Model-Based Engineering: A Case in Transformation SelectionRemote
SAM Conference
Zakaria Hachm IMT Atlantique, LS2N (UMR CNRS 6004), Théo Le Calvar IMT Atlantique, LS2N (UMR CNRS 6004), Hugo Bruneliere IMT Atlantique, LS2N (UMR CNRS 6004), Massimo Tisi IMT Atlantique, LS2N (UMR CNRS 6004)
09:31
29m
Talk
Automated AADL Architecture Modeling : Leveraging Large Language Models for Safety-Critical SoftwareRemote
SAM Conference
Yaxin Zou Nanjing University of Aeronautics and Astronautics, Zhibin Yang Nanjing University of Aeronautics and Astronautics, Hao Liu Nanjing University of Aeronautics and Astronautics, Jiawei Liang Nanjing University of Aeronautics and Astronautics, Zonghua Gu Hofstra University, Yong Zhou Nanjing University of Aeronautics and Astronautics