自动驾驶汽车的形式化基于场景测试：从仿真到真实世界
系统与控制
2020-07-14 v2 机器学习
计算机科学中的逻辑
软件工程
系统与控制
摘要
我们提出一种自动驾驶汽车安全性自动化基于场景测试的新方法，特别是针对采用先进人工智能组件的车辆，涵盖基于仿真的评估与真实世界测试。我们的方法基于形式化方法，结合场景与安全属性的形式化规约、使用形式化仿真的算法测试用例生成、用于场地测试的测试用例选择、在场地执行测试用例以及分析所得数据。在工业园区使用真实自动驾驶汽车的实验支持了我们的假设：（i）形式化仿真可有效识别需在场地上运行的测试用例；（ii）仿真与真实世界之间的差距可被系统评估并弥合。
引用
@article{arxiv.2003.07739,
title = {Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World},
author = {Daniel J. Fremont and Edward Kim and Yash Vardhan Pant and Sanjit A. Seshia and Atul Acharya and Xantha Bruso and Paul Wells and Steve Lemke and Qiang Lu and Shalin Mehta},
journal= {arXiv preprint arXiv:2003.07739},
year = {2020}
}
备注
9 pages, 6 figures. Full version of an ITSC 2020 paper