This program is tentative and subject to change.

Architecture modeling is an essential part of model-driven development of safety-critical software. AADL is a modeling language standard to design and analyze safety-critical software. However, there is usually a large gap between software requirements and architectural design. Effectively transforming requirements into formal software architecture models relies on a lot of manual experience and iterative exploration. In order to address these challenges, we conduct an exploratory study of using LLMs for fully automated AADL modeling. We assess three powerful LLMs, GPT 4o, DeepSeek-V3 and GLM-4-Plus. First, we decompose and refine high-level software requirements and design constraints, mapping them to the proposed prompt framework, RNL-Prompt, which significantly improved the accuracy of LLMs in generating different modeling elements. Our findings reveal that GPT-4o and DeepSeek-V3 perform on pair with each other, and both outperform GLM-4-Plus in complex modeling elements, such as modes, behavior annex, etc. To enhance the potential of GLM-4-Plus, we optimize its performance using N-shot prompting and retrieval-augmented generation (RAG). The results indicate that N-shot prompting performs more effectively. Finally, we demonstrate the effectiveness of our proposed approach in generating AADL architecture models in five examples of safety-critical domains. In addition, we implement a LLM-based modeling tool based on the AADL open source environment OSATE, which supports GPT-4o, DeepSeek-V3 and GLM-4-Plus. The tool is successfully applied to the modeling of an avionics control system in the industry.

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