论文部分内容阅读
CAN是一种具有实时性的高速串行总线系统,它被广泛应用于嵌入式系统中.提出了CAN协议的一组规范,并就CAN的12个属性对这些规范进行检验.验证结果显示:CAN不像期望的那样具备所有的属性,就这些发现的涵义进行了讨论.同时,通过进行大量的实验,确定协议的状态空间大小是如何受数据链路层各种特性的引入、网络节点数据、不同报文类型种类及其他参数影响的.