无人驾驶汽车决策系统的规则正确性验证

摘要：

无人驾驶车辆技术是当前科学研究的重点领域之一,目前无人车决策系统的开发过程中面临着安全性不足的问题.针对该问题,提出了验证驱动的基于代码自动生成的无人车决策系统开发框架.该框架利用模型检验技术对无人车决策系统进行环境建模,通过验证可以发现无人车决策系统的设计过程中不易发觉的缺陷,解决其安全性不足的问题,同时能够将安全检查与软件开发同步,降低其维护成本.基于该框架,设计并实现了无人车决策系统辅助开发工具UNMANNED_RULE_EDIT (URE),目前该工具已初步应用于国内某单位研制的无人车上,为其开发研制工作提供了帮助.

关键词：无人驾驶汽车、决策系统、模型检验、环境建模

所属期刊栏目：44

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60873120;国家重点基础研究发展规划9732009CB723803

在线出版日期：2017-05-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：72-74,113