典型文献
GoA4级全自动运行系统驾驶模式切换的安全性建模
文献摘要：
为验证具体场景下GoA4级全自动运行系统驾驶模式是否符合对应技术规范,提出一种基于时间自动机的形式化建模与验证方法.GoA4级的驾驶模式是系统自动切换,且增加了自动实现蠕动模式和远程限制监督模式切换.选取全自动运行模式、蠕动模式和远程限制监督模式的相关切换作为建模对象,提取全自动运行系统规范中的功能需求,生成对应流程的消息顺序图,并对模块间的交互信息进行分析;然后,以基于时间自动机的数学理论为基础,采用时间自动机建模方法对RM模式向FAM模式切换、FAM模式向CAM模式切换、FAM模式向RRM模式切换进行建模;最后,采用巴科斯范式(BNF)语法,达到了对其安全性、受限活性、实时性进行验证的结果.
文献关键词：
驾驶模式;全自动运行系统;UPPAAL;安全性验证
中图分类号：
作者姓名：
谢迎锋;王蓉
作者机构：
北京全路通信信号研究设计院集团有限公司,北京 100070;北京交通大学,北京 100040
文献出处：
引用格式：
[1]谢迎锋;王蓉-.GoA4级全自动运行系统驾驶模式切换的安全性建模)[J].网络安全与数据治理,2022(02):15-19
A类：
消息顺序图
B类：
GoA4,全自动运行系统,驾驶模式,模式切换,技术规范,时间自动机,形式化建模,验证方法,自动切换,蠕动,程限,监督模式,运行模式,功能需求,模块间,交互信息,数学理论,FAM,CAM,RRM,科斯,BNF,语法,UPPAAL,安全性验证
AB值：
0.29683
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
