PROMISE 2026
Sun 5 Jul 2026 Montreal, Canada
co-located with FSE 2026

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 Jul

Displayed 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
15m
Talk
Model-Driven Automation of Cyber-Physical Systems via AADL and LLMs
PROMISE 2026
Abdul Wahab Ontario Tech University, Akramul Azim Ontario Tech University
16:15
15m
Talk
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
15m
Talk
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
10m
Talk
Probabilistic Evidence Aggregation for Source Code Authorship Verification: An Ongoing Set-Based Approach
PROMISE 2026
Francisco Ortin University of Oviedo, David Álvarez-Fidalgo University of Oviedo
16:55
5m
Day closing
Closing
PROMISE 2026
Lili Wei McGill University, Xiaoyu Sun Australian National University, Australia, Csaba Nagy PONTUM Software GmbH