利用验证框架JAIST揭示开源自动驾驶系统的安全漏洞

盖世汽车讯 据外媒报道，日本先进科学技术研究所研究人员利用新开发的验证框架，揭示了开源自动驾驶系统在高速行驶和突然切入车辆时的安全限制，这引发了人们对其实际部署的担忧。

在这项研究中，JAIST的研究助理教授Duong Dinh Tran及其团队决定对开源自动驾驶系统Autoware进行严格的验证框架测试，以揭示其在关键交通情况下的潜在安全限制。

为了彻底检验Autoware的安全性，研究人员构建了一个特殊的虚拟测试系统。该系统相关论文发表在期刊《IEEE Transactions on Reliability》，并称该系统就像一个自动驾驶汽车的数字试验场。他们使用一种名为AWSIM-Script的语言，模拟各种棘手的交通状况——这些状况是日本汽车安全专家发现的现实世界危险。在这些模拟过程中，一个名为Runtime Monitor的工具会详细记录发生的所有事件，就像飞机上的黑匣子一样。