LLM-Empowered Functional Safety and Security by Design in Automotive Systems
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917184842760192 |
|---|---|
| author | Petrovic, Nenad Zolfaghari, Vahid Pan, Fengjunjie Knoll, Alois |
| author_facet | Petrovic, Nenad Zolfaghari, Vahid Pan, Fengjunjie Knoll, Alois |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_02215 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | LLM-Empowered Functional Safety and Security by Design in Automotive Systems Petrovic, Nenad Zolfaghari, Vahid Pan, Fengjunjie Knoll, Alois Software Engineering Artificial Intelligence 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. |
| title | LLM-Empowered Functional Safety and Security by Design in Automotive Systems |
| topic | Software Engineering Artificial Intelligence |
| url | https://arxiv.org/abs/2601.02215 |