智能汽车CAN总线通信系统的建模与验证

• 作者: 张芮 楚敏 王瑞
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: 形式化验证 智能汽车 控制器局域网络总线 通信系统 时间自动机
• 年，卷（期）: 2020,（7）
• 所属期刊栏目: 软件技术与研究
• 页码范围: 1-8,42
• 页数: 9页
• 分类号: TP311
• 字数: 6668字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386x.2020.07.001

摘要

车载通信系统是智能车辆与外界环境交互的媒介和内部报文信息传输的载体.为了保证智能车辆通信系统的安全性和可靠性,对智能汽车基于控制器局域网络(Control Area Network,CAN)总线的通信过程进行分析并建立时间自动机模型.加入对通信过程中网关的分析和建模,模拟外部环境到内部单元之间不同速率通信过程;抽取车辆通信系统需要满足的属性.运用模型检测工具验证了智能车辆通信的实时性和正确性.结果表明该模型可以满足有关属性,确保车辆在遇到突发紧急的交通情况下,通信系统能够及时传递数据,车辆做出正确的反应并且辅助驾驶员做出相应操作.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王瑞	首都师范大学轻型工业机器人与安全验证北京市重点实验室	10	44	4.0	6.0
2	张芮	首都师范大学信息工程学院	2	8	1.0	2.0
3	楚敏	首都师范大学信息工程学院	1	0	0.0	0.0