Modeling and Verification of Cooperative Vehicle Infrastructure System at Unsignalized Intersection Based on Time Automata

Authors

Wei Liu, School of Traffic and Transportation, Chongqing Jiaotong University, Chongqing 400074, ChinaFollow
Qirui Xiao, School of Traffic and Transportation, Chongqing Jiaotong University, Chongqing 400074, ChinaFollow
Xinhai Chen, Chongqing Vehicle Test & Research Institute Co.,Ltd, Chongqing Engineering Research Center of Research and Testing for Automated Driving System and Intelligent Connected Vehicle, Chongqing 401122, China
Chang Rao, School of Traffic and Transportation, Chongqing Jiaotong University, Chongqing 400074, China
Yu Zhang, School of Traffic and Transportation, Chongqing Jiaotong University, Chongqing 400074, China
Bosi Wang, Chongqing Vehicle Test & Research Institute Co.,Ltd, Chongqing Engineering Research Center of Research and Testing for Automated Driving System and Intelligent Connected Vehicle, Chongqing 401122, China

Abstract

Abstract: Cooperative vehicle infrastructure system (CVIS) is one of the advanced solutions to enhance intersection vehicle passage safety. Due to the lack of clear specifications and standards regarding the dynamic timing and transition processes of system object state interaction in existing CVIS technologies, ensuring the safety of passage control logic is challenging. This study utilizes formal language to describe the functional logic of CVIS in unsignalized intersections, verifying the safety of system object state interaction and control logic to improve vehicle passage safety at unsignalized intersections. Simulations are conducted for scenarios including single-vehicle non-conflict, dual-vehicle conflict, and multi-vehicle conflict to identify state interactions and enable transition paths. By integrating tools and requirement specification statements for system safety attribute verification, the reliability and safety of control logic are demonstrated, providing a credible basis for developing high-security architecture for CVIS.

Recommended Citation

Liu, Wei; Xiao, Qirui; Chen, Xinhai; Rao, Chang; Zhang, Yu; and Wang, Bosi (2024) "Modeling and Verification of Cooperative Vehicle Infrastructure System at Unsignalized Intersection Based on Time Automata," Journal of System Simulation: Vol. 36: Iss. 7, Article 15.
DOI: 10.16182/j.issn1004731x.joss.23-0456
Available at: https://dc-china-simulation.researchcommons.org/journal/vol36/iss7/15

First Page

1682

Last Page

1698

CLC

TP391.9; U495

Recommended Citation

Liu Wei, Xiao Qirui, Chen Xinhai, et al. Modeling and Verification of Cooperative Vehicle Infrastructure System at Unsignalized Intersection Based on Time Automata[J]. Journal of System Simulation, 2024, 36(7): 1682-1698.

Corresponding Author

Xiao Qirui

DOI

10.16182/j.issn1004731x.joss.23-0456