| 无人驾驶汽车决策系统的规则正确性验证 |
| |
| 引用本文： | 刘斌斌,刘万伟,毛晓光,董威.无人驾驶汽车决策系统的规则正确性验证[J].计算机科学,2017,44(4):72-74, 113. |
| |
| 作者姓名： | 刘斌斌 刘万伟 毛晓光 董威 |
| |
| 作者单位： | 国防科学技术大学计算机学院 长沙410073,国防科学技术大学计算机学院计算机科学与技术系 长沙410073,国防科学技术大学计算机学院计算机科学与技术系 长沙410073,国防科学技术大学计算机学院计算机科学与技术系 长沙410073 |
| |
| 基金项目： | 本文受国家自然科学基金(60873120),国家重点基础研究发展规划(973)(2009CB723803)资助 |
| |
| 摘 要： | 无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题。针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开发框架。该框架利用模型检验技术对无人车决策系统进行环境建模,通过验证可以发现无人车决策系统的设计过程中不易发觉的缺陷,解决其安全性不足的问题,同时能够将安全检查与软件开发同步,降低其维护成本。基于该框架,设计并实现了无人车决策系统辅助开发工具UNMANNED_RULE_EDIT(URE),目前该工具已初步应用于国内某单位研制的无人车上,为其开发研制工作提供了帮助。
|
| 关 键 词： | 无人驾驶汽车 决策系统 模型检验 环境建模 |
| 收稿时间： | 2015/11/30 0:00:00 |
| 修稿时间： | 2016/2/21 0:00:00 |
|
|
点击此处可从《计算机科学》下载全文 |
|
