DURA-CPS: A Multi-Role Orchestrator for Dependability Assurance in LLM-Enabled Cyber-Physical Systems
Not on the map. Why?
Abstract (arXiv)
Cyber-Physical Systems (CPS) increasingly depend on advanced AI techniques to operate in critical applications. However, traditional verification and validation methods often struggle to handle the unpredictable and dynamic nature of AI components. In this paper, we introduce DURA-CPS, a novel framework that employs multi-role orchestration to automate the iterative assurance process for AI-powered CPS. By assigning specialized roles (e.g., safety monitoring, security assessment, fault injection, and recovery planning) to dedicated agents within a simulated environment, DURA-CPS continuously evaluates and refines AI behavior against a range of dependability requirements. We demonstrate the framework through a case study involving an autonomous vehicle navigating an intersection with an AI-based planner. Our results show that DURA-CPS effectively detects vulnerabilities, manages performance impacts, and supports adaptive recovery strategies, thereby offering a structured and extensible solution for rigorous V&V in safety- and security-critical systems.
Key facts. Cited by 3 papers in the map (data through 14 Oct 2026). Builds on 17 of its 46 references that are in the map. First posted on arXiv 4 Jun 2025.
Builds on
17 of 46 references.
References · 17
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2014Explaining and Harnessing Adversarial Examplescited by 7,364
- 2017A Unified Approach to Interpreting Model Predictionscited by 6,555
- 2016"Why Should I Trust You?": Explaining the Predictions of Any Classifiercited by 5,070
- 2016Towards Evaluating the Robustness of Neural Networkscited by 2,998
- 2017CARLA: An Open Urban Driving Simulatorcited by 2,449
- 2019A Survey on Bias and Fairness in Machine Learningcited by 1,917
- 2017Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networkscited by 744
- 2017AirSim: High-Fidelity Visual and Physical Simulation for Autonomous Vehiclescited by 523
- 2018Adversarial Robustness Toolbox v1.0.0cited by 215
- 2021FUTURE-AI: Guiding Principles and Consensus Recommendations for Trustworthy Artificial Intelligence in Medical Imagingcited by 13
- 2024A Taxonomy of Systemic Risks from General-Purpose AIcited by 12
5 more
- 2018A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)cited by 9
- 2023AmbieGen: A Search-based Framework for Autonomous Systems Testingcited by 9
- 2023Dialogue-based generation of self-driving simulation scenarios using Large Language Modelscited by 7
- 2024A Roadmap for Simulation-Based Testing of Autonomous Cyber-Physical Systems: Challenges and Future Directioncited by 2
- 2019Monitor-Based Runtime Assurance for Temporal Logic Specificationscited by 1
Built on by
Citing papers per year: 2025: 1; 2026: 2.
3 papers.
- 2025Vision-Language Cross-Attention for Real-Time Autonomous Drivingcited by 0
- 2026AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systemscited by 0
- 2026Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systemscited by 0
- 2026Agentic Driving Coach: Robustness and Determinism of Agentic AI-Powered Human-in-the-Loop Cyber-Physical Systems13 Apr 2026
- 2026AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems2 Apr 2026
- 2025Vision-Language Cross-Attention for Real-Time Autonomous Driving30 Jul 2025