首页|基于时间自动机的无信号交叉口车路协同系统建模与验证

基于时间自动机的无信号交叉口车路协同系统建模与验证

扫码查看
原文链接
  • NETL
  • NSTL
  • 万方数据
车路协同系统(cooperative vehicle infrastructure system,CVIS)是提高交叉口车辆通行安全的重要解决方案之一.针对CVIS现有技术规范和标准未明确系统对象状态交互的动态时序及迁移过程,无法有效保障系统的通行控制逻辑安全问题,采用形式化语言对无信号交叉口车路协同系统功能逻辑进行描述,验证系统对象的状态交互和控制逻辑安全,提高无信号交叉口的车辆通行安全性.以单车无冲突、双车冲突和多车冲突场景分别进行仿真,明确状态交互和使能迁移路径;结合工具和需求规范语句进行系统安全属性验证,证明了控制逻辑的可靠性和安全性,为研发高安全架构的车路协同系统提供了可信依据.
Modeling and Verification of Cooperative Vehicle Infrastructure System at Unsignalized Intersection Based on Time Automata
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.

urban trafficformal languagecooperative vehicle infrastructure system(CVIS)time automatacontrol logiccredible verification

刘伟、肖七瑞、陈新海、饶畅、张宇、王博思

展开 >

重庆交通大学交通运输学院,重庆 400074

重庆车辆检测研究院有限公司自动驾驶系统及智能网联汽车技术研发与测试应用重庆市工程研究中心,重庆 401122

城市交通 形式化语言 车路协同系统 时间自动机 控制逻辑 可信验证

白动驾驶系统及智能网联汽车技术研发与测试应用重庆市工程研究中心课题重庆市交通规划研究院交通运输工程研究生联合培养基金

21AKC43JDLHPYJD2018004

2024

10.16182/j.issn1004731x.joss.23-0456

系统仿真学报
北京仿真中心 中国系统仿真学会

系统仿真学报

CSTPCD北大核心
影响因子：0.551
ISSN：1004-731X
年,卷(期)：2024.36(7)
  • 7