车载通信系统是智能车辆与外界环境交互的媒介和内部报文信息传输的载体。为了保证智能车辆通信系统的安全性和可靠性,对智能汽车基于控制器局域网络(Control Area Network,CAN)总线的通信过程进行分析并建立时间自动机模型。加入对通...车载通信系统是智能车辆与外界环境交互的媒介和内部报文信息传输的载体。为了保证智能车辆通信系统的安全性和可靠性,对智能汽车基于控制器局域网络(Control Area Network,CAN)总线的通信过程进行分析并建立时间自动机模型。加入对通信过程中网关的分析和建模,模拟外部环境到内部单元之间不同速率通信过程;抽取车辆通信系统需要满足的属性。运用模型检测工具验证了智能车辆通信的实时性和正确性。结果表明该模型可以满足有关属性,确保车辆在遇到突发紧急的交通情况下,通信系统能够及时传递数据,车辆做出正确的反应并且辅助驾驶员做出相应操作。展开更多
CAN(controller area network)总线是应用最广泛的现场总线,由于缺乏认证及消息检验机制,使得现在的CAN总线具有极大的安全隐患,需要为CAN总线设计防御机制.针对此情况,本文设计了一种优先级跳变机制,将通过散列函数进行一次性标识符动...CAN(controller area network)总线是应用最广泛的现场总线,由于缺乏认证及消息检验机制,使得现在的CAN总线具有极大的安全隐患,需要为CAN总线设计防御机制.针对此情况,本文设计了一种优先级跳变机制,将通过散列函数进行一次性标识符动态跳变的方式引入到实时调度算法中.使用遗传算法计算固定优先级,求出优先级可妥协范围,将各帧进行分组,将数据帧的ID段进行分段重构,ID段前部分决定优先级并进行优先级跳变,ID段的后部分进行一次性动态跳变.实验结果表明,使用动态优先级和一次性ID跳变的方式进行跳变,相较于已有的ID跳变机制其安全性有了较大的提升.展开更多
文摘车载通信系统是智能车辆与外界环境交互的媒介和内部报文信息传输的载体。为了保证智能车辆通信系统的安全性和可靠性,对智能汽车基于控制器局域网络(Control Area Network,CAN)总线的通信过程进行分析并建立时间自动机模型。加入对通信过程中网关的分析和建模,模拟外部环境到内部单元之间不同速率通信过程;抽取车辆通信系统需要满足的属性。运用模型检测工具验证了智能车辆通信的实时性和正确性。结果表明该模型可以满足有关属性,确保车辆在遇到突发紧急的交通情况下,通信系统能够及时传递数据,车辆做出正确的反应并且辅助驾驶员做出相应操作。
文摘CAN(controller area network)总线是应用最广泛的现场总线,由于缺乏认证及消息检验机制,使得现在的CAN总线具有极大的安全隐患,需要为CAN总线设计防御机制.针对此情况,本文设计了一种优先级跳变机制,将通过散列函数进行一次性标识符动态跳变的方式引入到实时调度算法中.使用遗传算法计算固定优先级,求出优先级可妥协范围,将各帧进行分组,将数据帧的ID段进行分段重构,ID段前部分决定优先级并进行优先级跳变,ID段的后部分进行一次性动态跳变.实验结果表明,使用动态优先级和一次性ID跳变的方式进行跳变,相较于已有的ID跳变机制其安全性有了较大的提升.
