LLM 赋能的汽车系统功能安全与安全设计
软件工程
2026-01-06 v1 人工智能
摘要
本文提出一种 LLM 赋能的工作流程，用于支持软件定义车辆（SDV）软件开发，涵盖安全感知系统拓扑设计以及事件驱动决策代码分析等方面。对于代码分析，我们采用事件链模型，提供系统化验证功能安全的形式化基础，同时考虑消息在关键组件之间（包括 CAN 和车辆信号规范（VSS））交换的语义有效性。对拓扑安全性分析依赖于与模型驱动工程（MDE）方法和对象约束语言（OCL）规则的协同作用。同时考虑本地可部署和专有解决方案，在与高级驾驶辅助系统（ADAS）相关场景中进行评估。
引用
@article{arxiv.2601.02215,
title = {LLM-Empowered Functional Safety and Security by Design in Automotive Systems},
author = {Nenad Petrovic and Vahid Zolfaghari and Fengjunjie Pan and Alois Knoll},
journal= {arXiv preprint arXiv:2601.02215},
year = {2026}
}