文章基本信息

标题：Safety Verification of Driving Resource Occupancy Rules Based on Functional Language
本地全文：下载
作者：Zhixi Hu ; Yi Zhu ; Xiaoying Chen 等
期刊名称：Future Internet
电子版ISSN：1999-5903
出版年度：2022
卷号：14
期号：2
页码：60
DOI：10.3390/fi14020060
语种：English
出版社：MDPI Publishing
摘要：Autonomous driving is a safety-critical system, and the occupancy of its environmental resources affects the safety of autonomous driving. In view of the lack of safety verification of environmental resource occupation rules in autonomous driving, this paper proposes a verification method of automatic driving model based on functional language through CSPM. Firstly, the modeling and verification framework of an autopilot model based on CSPM is given. Secondly, the process algebra definition of CSPM is given. Thirdly, the typical single loop environment model in automatic driving is abstracted, and the mapping method from automatic driving model to CSP is described in detail for the automatic driving environment and the typical collision, overtaking, lane change and other scenes involved. Finally, the autopilot model of the single loop is mapped to CSPM, and the application effect of this method is discussed by using FDR tool. Experiments show that this method can verify the safety of autonomous driving resources, thereby improving the reliability of the autonomous driving model.