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

• 作者: 刘万伟 刘斌斌 毛晓光 董威
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 无人驾驶汽车 决策系统 模型检验 环境建模
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: NASAC 2015
• 页码范围: 72-74,113
• 页数: 4页
• 分类号: TP311
• 字数: 3626字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2017.04.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	董威	国防科学技术大学计算机学院计算机科学与技术系	32	402	10.0	19.0
2	毛晓光	国防科学技术大学计算机学院计算机科学与技术系	23	219	5.0	14.0
3	刘万伟	国防科学技术大学计算机学院计算机科学与技术系	8	20	2.0	4.0
4	刘斌斌	国防科学技术大学计算机学院	2	16	2.0	2.0