We present a practical verification method for safety analysis of the autonomous driving system (ADS). The main idea is to build a surrogate model that quantitatively depicts the behaviour of an ADS in the specified traffic scenario. The safety properties proved in the resulting surrogate model apply to the original ADS with a probabilistic guarantee. Furthermore, we explore the safe and the unsafe parameter space of the traffic scenario for driving hazards. We demonstrate the utility of the proposed approach by evaluating safety properties on the state-of-the-art ADS in literature, with a variety of simulated traffic scenarios.
翻译:我们为自动驾驶系统的安全分析提出了一个实际的核查方法,主要想法是建立一个代用模型,从数量上描述特定交通情况中自动驾驶系统的行为,由此产生的代用模型所证明的安全特性适用于具有概率保证的原自动驾驶系统,此外,我们探索交通危险假设的安全和不安全参数空间,我们通过在文献中评估最先进的自动驾驶系统的安全特性,以及各种模拟交通假设,来证明拟议方法的效用。