技术论文题为“慢下来,挪开:一个案例研究在形式验证,改进,和测试Responsibility-Sensitive安全模型的自动驾驶汽车”是卡内基梅隆大学的研究人员发表的。
“技术的进步给我们的希望驾驶没有人为错误,减少汽车尾气排放,简化日常任务的自动驾驶汽车的未来。确保这些车辆安全是非常重要的,这一领域的延续。在这篇文章中,我们形式化Responsibility-Sensitive安全模型(RSS)自动驾驶汽车,证明该模型的安全性和最优纵向方向。我们利用混合动力系统定理验证KeYmaera X形式化RSS作为混合动力系统的不确定性控制选择和连续的运动模型,并证明没有冲突。然后我们通过改进证据说明RSS的实用性,将验证不确定性控制信封变成确定性的和进一步验证编译Python。细化和编译safety-preserving;因此,安全证明的正式模型转移到编译后的代码,而反例的测试代码发现的一个未经证实的模型转移回来。由此产生的Python代码允许测试汽车的行为RSS的运动模型模拟后,测量模型和仿真与监控之间达成的一项协议,来自正式的模型,并从仿真报告反例回正式的模式。”
找到这里的技术论文。发表:2023年5月(预印本)
施特劳斯,梅根和Stefan Mitsch。“慢下来,挪开:一个案例研究在形式验证,改进,和测试Responsibility-Sensitive安全模型的自动驾驶汽车。“arXiv预印本arXiv: 2305.08812 (2023)。
留下一个回复