Safety Verification of Driving Resource Occupancy Rules Based on Functional Language

Zhixi Hu, Yi Zhu, Xiaoying Chen and Yu Zhao
Additional contact information
Zhixi Hu: Academic Affairs Office, Changzhou Institute of Technology, Changzhou 213032, China
Yi Zhu: School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China
Xiaoying Chen: School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China
Yu Zhao: School of Computer Science and Technology, Jiangsu Normal University, Xuzhou 221116, China

Future Internet, 2022, vol. 14, issue 2, 1-15

Abstract: 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 CSP M . Firstly, the modeling and verification framework of an autopilot model based on CSP M is given. Secondly, the process algebra definition of CSP M 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 CSP M , 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.

Keywords: autonomous driving model; environmental resources; safety verification; process algebra (search for similar items in EconPapers)
JEL-codes: O3 (search for similar items in EconPapers)
Date: 2022
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/1999-5903/14/2/60/pdf (application/pdf)
https://www.mdpi.com/1999-5903/14/2/60/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jftint:v:14:y:2022:i:2:p:60-:d:751594

Access Statistics for this article

Future Internet is currently edited by Ms. Grace You

More articles in Future Internet from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().