CAN总线协议的限定状态分析  

Finite-state Analysis of CAN Bus Protocol

作　　者：王凌[1] 杜娟娟[1] 张凤登[1] 

机构地区：[1]上海理工大学光电学院,上海200093

出　　处：《仪表技术与传感器》2004年第8期40-42,共3页Instrument Technique and Sensor

基　　金：上海市高等学校青年科学基金(1142)

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

关 键 词：控制器局域网(CAN) 总线 Murφ验证系统 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]