2024年 第33卷 第2期
《工程（英文）》 >> 2024年 第33卷 第2期 doi: 10.1016/j.eng.2023.04.016
数字交通规则的语义一致性和正确性验证
a Policy, Standard, and Patent Department, Intelligent Automotive Solution BU, Huawei Technologies Co., Ltd., Beijing 100094, China
b Research Institute for Road Safety of the Ministry of Public Security, Beijing 100062, China
下一篇 上一篇
摘要
“人车同规”(自动驾驶汽车与人类驾驶汽车遵从相同的交通规则)被汽车行业和交通管理部门视为准则。通过形式化和数字化方法，基于自然语言描述的交通规则可以被转换为数字规则，并被自动驾驶汽车使用。本文提出了一种有效的转换流程，利用分层次的信息提取，可以从丰富而复杂的自然语言语义中提取出交通规则中的有效信息，甚至是隐藏的假设。然而，如何确保转换成的数字规则的准确性，并且与原始交通规则保持一致，是个重要且未被探索过的问题。我们将等价性验证与模型检测相结合，得出了一种行之有效的形式化验证方法。利用本文所提出的交通规则数字化流程和验证方法，可以得到合理可靠的数字交通规则。在仿真环境中，我们利用这些数字交通规则对车辆行为进行了交规符合性评估。实验结果表明，通过本文所提流程获得的度量时序逻辑描述的数字交通规则，可以很方便地被用于仿真平台和自动驾驶系统中。
京公网安备 11010502051620号
