# LLM-Empowered Functional Safety and Security by Design in Automotive Systems

arXiv: https://arxiv.org/abs/2601.02215 · HTML: https://mlsanity.com/paper/2601.02215/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- Builds on 11 of its 24 references that are in the map.
- First posted on arXiv 5 Jan 2026.

## Builds on (most cited first, 11 of 11)

- [Adopting RAG for LLM-Aided Future Vehicle Design](https://mlsanity.com/paper/2411.09590/) (2024)
- [LLM-enabled Instance Model Generation](https://mlsanity.com/paper/2503.22587/) (2025)
- [Survey of GenAI for Automotive Software Development: From Requirements to Executable Code](https://mlsanity.com/paper/2507.15025/) (2025)
- [GenAI for Automotive Software Development: From Requirements to Wheels](https://mlsanity.com/paper/2507.18223/) (2025)
- [LLM-based Iterative Approach to Metamodeling in Automotive](https://mlsanity.com/paper/2503.05449/) (2025)
- [Hallucination in LLM-Based Code Generation: An Automotive Case Study](https://mlsanity.com/paper/2508.11257/) (2025)
- [GenAI-based test case generation and execution in SDV platform](https://mlsanity.com/paper/2509.05112/) (2025)
- [STAF: Leveraging LLMs for Automated Attack Tree-Based Security Test Generation](https://mlsanity.com/paper/2509.20190/) (2025)
- [LLM-Empowered Event-Chain Driven Code Generation for ADAS in SDV systems](https://mlsanity.com/paper/2511.21877/) (2025)
- [Large Language Models in Code Co-generation for Safe Autonomous Vehicles](https://mlsanity.com/paper/2505.19658/) (2025)
- [Event-Chain Analysis for Automated Driving and ADAS Systems: Ensuring Safety and Meeting Regulatory Timing Requirements](https://mlsanity.com/paper/2511.18092/) (2025)

## Built on by (most cited first, 1 of 1)

- [CyberLLM: A Multi-Agent LLM Framework for Autonomous Detection and Guarded Response in Automotive Cybersecurity](https://mlsanity.com/paper/2608.06651/) (2026)

## Abstract (arXiv)

This paper presents LLM-empowered workflow to support Software Defined Vehicle (SDV) software development, covering the aspects of security-aware system topology design, as well as event-driven decision-making code analysis. For code analysis we adopt event chains model which provides formal foundations to systematic validation of functional safety, taking into account the semantic validity of messages exchanged between key components, including both CAN and Vehicle Signal Specification (VSS). Analysis of security aspects for topology relies on synergy with Model-Driven Engineering (MDE) approach and Object Constraint Language (OCL) rules. Both locally deployable and proprietary solution are taken into account for evaluation within Advanced Driver-Assistance Systems (ADAS)-related scenarios.