Model-Driven Automation of Cyber-Physical Systems via AADL and LLMs
The development of cyber-physical systems presents fundamental challenges in system design, verification, and implementation, particularly in safety-critical domains where reliability and real-time performance are paramount. Classical development approaches rely heavily on manual coding and modeling, which are resource- intensive, error-prone, and require substantial domain expertise. While Model-Driven Engineering (MDE) methodologies, such as the Architecture Analysis and Design Language (AADL), provide systematic abstraction tools, they struggle with the dynamic and unpredictable nature of CPS environments. To address these challenges, we propose an integrated method that combines AADL automation with code generation using large language models (LLMs) to automate model generation, intelligent code synthesis, and error correction. Our approach uses a dual-phase approach: first, automating AADL model generation from natural language requirements using domain-specific LLMs, and second, implementing intelligent code generation with Chain-of- Thought prompting for automated error detection and correction. The framework integrates formal verification techniques, runtime assurance mechanisms, and version control to ensure safety-critical compliance while reducing development time and manual effort. We validate our approach through comprehensive case studies including unmanned aerial vehicles and smart building systems, showing improvements in development efficiency, code quality, and system reliability. Our results show an average 70% reduction in development time, syntax accuracy exceeding 88%, and a 25% reduction in energy consumption for deployed systems.
Sun 5 JulDisplayed time zone: Eastern Time (US & Canada) change
16:00 - 18:00 | Session 4: Security, Trust, and Verification of LLM-Generated CodePROMISE 2026 at MB 3.430 Chair(s): Zhijie Wang Concordia University | ||
16:00 15mTalk | Model-Driven Automation of Cyber-Physical Systems via AADL and LLMs PROMISE 2026 | ||
16:15 15mTalk | MAS-SRE: A Multi-Agent System for Security Requirements Engineering PROMISE 2026 Savvas Mantzouranidis Blekinge Institute of Technology, Ricardo Britto Ericsson / Blekinge Institute of Technology | ||
16:30 15mTalk | Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models PROMISE 2026 Youwei Huang Independent Researcher, Jianwen Li Carnegie Mellon University, Silicon Valley, Sen Fang North Carolina State University, Yao Li Macau University of Science and Technology, Peng Yang Institute of Intelligent Computing Technology, Suzhou, CAS, Bin Hu Institute of Computing Technology, Chinese Academy of Sciences | ||
16:45 10mTalk | Probabilistic Evidence Aggregation for Source Code Authorship Verification: An Ongoing Set-Based Approach PROMISE 2026 | ||
16:55 5mDay closing | Closing PROMISE 2026 Lili Wei McGill University, Xiaoyu Sun Australian National University, Australia, Csaba Nagy PONTUM Software GmbH | ||