[论文解读] Membership-based Manoeuvre Negotiation in Autonomous and Safety-critical Vehicular Systems

António Casimiro, Emelie Ekenstedt+1 more|arXiv (Cornell University)|Jun 11, 2019

Autonomous Vehicle Technology and Safety参考文献 16被引用 4

一句话总结

本文提出了一种基于成员资格的自主车辆会车协商协议，以在交叉路口提升安全性和容错能力。通过使用基于优先级的请求与授权机制，并结合形式化正确性证明与仿真测试，该协议在存在丢包、传感器噪声及恶意行为的情况下，仍能有效减少碰撞和优先级违规，其在关键安全场景下的表现优于仅依赖风险估计的方法。

ABSTRACT

A fault-tolerant negotiation-based intersection crossing protocol is presented. Rigorous analytic proofs are used for demonstrating the correctness and fault-tolerance properties. Experimental results validate the correctness proof via detailed computer simulations and provide a preliminary evaluation of the system performances. The results are compared to the ones that can be achieved via a risk estimator with and without combining the proposed protocol. Our fault model considers packet-loss, noisy sensory information and malicious driving. Our preliminary results show a reduction in the number of dangerous situations and vehicle collisions.

研究动机与目标

• 设计一种容错型、基于通信的自主车辆协议，以在现实故障条件下安全地协商交叉路口通行。
• 使用严格的分析方法，对协议的形式化正确性与容错能力进行形式化证明。
• 通过仿真评估协议性能，尤其与风险估计系统进行对比。
• 通过确保优先级合规与安全轨迹规划，减少危险情况与碰撞。
• 探索与现有风险估计系统的集成，以提升整体安全性与鲁棒性。

提出的方法

• 协议采用基于成员资格的系统，车辆通过动态分组（成员资格组）协调对关键区域（如交叉路口）的访问。
• 车辆向高优先级车辆请求进入关键区域的许可，且仅在验证请求有效性和优先级规则后才授予许可。
• 基于时间戳的优先级机制确保新请求可覆盖旧请求，从而防止循环等待与死锁。
• 协议对请求发起、响应处理、许可释放及进入交叉路口等环节施加严格规则，以确保安全与正确性。
• 提供形式化正确性证明，验证协议在定义故障模型下满足安全性、活性及优先级合规性要求。
• 通过仿真验证协议在丢包、传感器噪声及恶意驾驶行为下的行为表现，并与仅使用风险估计的方法进行对比。

实验结果

研究问题

• RQ1 在存在传感器噪声与丢包的情况下，基于通信的协议如何确保自主车辆在交叉路口的安全性与容错能力？
• RQ2 该协议能否在动态、关键安全的交通场景中同时防止碰撞与优先级违规？
• RQ3 将会车协商协议与风险估计器集成后，如何提升整体系统安全性与响应时间？
• RQ4 在存在并发请求与有限许可容量的多车辆协商场景中，采用何种机制可防止死锁？
• RQ5 该协议在保持安全与吞吐量的同时，能在多大程度上维持交通规则的优先级？

主要发现

• 在所有仿真场景中，协议均成功防止了碰撞与优先级违规，即使在高丢包率与强传感器噪声下亦然。
• 仿真结果表明，结合会车协商与风险估计的系统在减少危险情况方面，显著优于仅使用风险估计的方法。
• 配备风险估计的高优先级车辆虽能检测到所有危险情况，但通常已过反应时机，无法避免碰撞，除非依赖本协议。
• 当协议处于激活状态时，高优先级车辆的吞吐量接近理想情况，表明性能下降极小。
• 协议通过时间戳请求与动态优先级检查机制，有效防止了循环等待与死锁。
• 形式化正确性证明确认，所有安全要求——包括请求发起、响应处理、许可释放与进入——均被严格强制执行。