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

【Abstract】 The Controller Area Netweork(CAN) is a high-speed serial bus system with real-time capabilities,widely used in embedded systems.Presented a family of specifications of the CAN protocol and checked these specifications for 12 important properties.Results indicate that not all properties can be expected to hold of a CAN implementation and discuss the implications of these findings.Moreover,have conducted a number of experiments aimed at determining how the size of the protocols state space is affected by the introduction of various features of the data link layer,the number of nodes in the network,the number of distinct message types and other parameters.更多还原