paperbot · PL 论文追踪

全部论文 待读 收藏

P2 ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings

ACAV:自动驾驶车辆事故记录中自动因果分析的框架
ICSE Proceedings of the IEEE/ACM 46th International Conference on Software Engineering2024匹配度 2/10 · 该论文研究自动驾驶事故记录的自动因果分析,属于ADS测试与调试方向;与用户核心关注的PL与AI交叉(如ML/Agentic程序静态分析、LLM辅助形式化验证、浮点或贝叶斯程序分析)没有直接关联,仅与AI系统安全调试存在边缘联系。引用 13 inbox
Huijia Sun, Christopher M. Poskitt, Yang Sun, Jun Sun, Yuqi Chen
crossref: 2026-09-12

AI 速览

一句话:提出 ACAV 框架,自动分析自动驾驶事故记录的两阶段因果事件,帮助定位事故原因。

针对自动驾驶测试能发现违规却无法定位事故原因的问题,本文提出自动因果分析框架 ACAV。该方法分两阶段:先基于 ADS 模块间消息提取特征,并用加权投票剔除与事故无关的帧;再利用安全规范识别安全关键帧,并将因果分析工具 CAT 应用于站-时间图以推导因果事件。作者在 Apollo 上评估:对测试引擎生成的 110 条事故记录,ACAV 在 93.64% 中识别出五类不同因果事件;对注入特定故障的 1206 条记录,在预测错误引发的事故中正确识别因果事件的比例为 96.44%,规划错误引发的事故中为 85.73%。

问题
自动驾驶大规模仿真测试虽能发现违规,却难以指出导致事故的决策与动作,阻碍 ADS 安全改进。
方法
ACAV 分两阶段:基于模块间消息的特征提取和加权投票过滤无关帧,再依据安全规范定位关键帧,并用 CAT 工具在站-时间图上推导因果事件。
评估
在 Apollo 上对 110 条事故记录及 1206 条注入故障记录评估,报告五类因果事件识别率以及预测/规划错误事故中的正确识别率。
原文摘要(Abstract)

The rapid progress of autonomous vehicles (AVs) has brought the prospect of a driverless future closer than ever. Recent fatalities, however, have emphasized the importance of safety validation through large-scale testing. Multiple approaches achieve this fully automatically using high-fidelity simulators, i.e., by generating diverse driving scenarios and evaluating autonomous driving systems (ADSs) against different test oracles. While effective at finding violations, these approaches do not identify the decisions and actions that caused them---information that is critical for improving the safety of ADSs. To address this challenge, we propose ACAV, an automated framework designed to conduct causality analyses for AV accident recordings in two stages. First, we apply feature extraction schemas based on the messages exchanged between ADS modules, and use a weighted voting method to discard frames of the recording unrelated to the accident. Second, we use safety specifications to identify safety-critical frames and deduce causal events by applying CAT---our causal analysis tool---to a station-time graph. We evaluated ACAV on the Apollo ADS, finding that it can identify five distinct types of causal events in 93.64% of 110 accident recordings generated by an AV testing engine. We further evaluated ACAV on 1206 accident recordings collected from versions of Apollo injected with specific faults, finding that it can correctly identify causal events in 96.44% of the accidents triggered by prediction errors, and 85.73% of the accidents triggered by planning errors.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot11366,
  title = {ACAV: A Framework for Automatic Causality Analysis in Autonomous Vehicle Accident Recordings},
  author = {Huijia Sun and Christopher M. Poskitt and Yang Sun and Jun Sun and Yuqi Chen},
  booktitle = {ICSE},
  year = {2024},
  doi = {10.1145/3597503.3639175}
}