用大模型提升汽车软件安全设计能力
LLM-Empowered Functional Safety and Security by Design in Automotive Systems
- 结合大模型与MDE方法，构建安全可验证的汽车系统拓扑设计流程
- 通过事件链模型分析代码，确保关键通信消息语义有效
- 适用于自动驾驶辅助系统，支持本地化部署与私有化方案
本文提出一种基于大语言模型的流程，支持软件定义汽车（SDV）开发，涵盖安全感知的系统拓扑设计及事件驱动决策代码分析。代码分析采用事件链模型，为功能安全提供形式化基础，考虑关键组件间通信消息的语义有效性，包括CAN和车辆信号规范（VSS）。拓扑安全性分析结合模型驱动工程（MDE）与对象约束语言（OCL）规则。在与高级驾驶辅助系统（ADAS）相关的场景中，评估了本地部署与专有解决方案的可行性。
原文摘要 · Abstract (English)
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.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。