RADIANT: Multi-Agent LLM Methodology for Model-Driven Engineering of Safety-Critical Systems
Researchers introduce RADIANT, a methodology that integrates Model-Driven Engineering with multi-agent large language models (LLMs) to automate the generation of traceable system models from requirements for safety-critical systems. The approach supports formal verification with counterexample-driven repair and demonstrates a 10–15x reduction in development time in a six-participant study. The multi-agent setup improves the syntactic validity and, in some cases, the executability of generated formal artifacts compared to single-agent baselines.
Why it matters: This work presents a notable advance in automating safety-critical system engineering, showing substantial productivity gains and improved model quality using multi-agent LLMs.
Full story at: arXiv Software Engineering ↗