CAN协议状态分析  

Analysis of the CAN Bus Protocol

作　　者：王凌[1] 杨新照[1] 张凤登[1] 

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

出　　处：《仪器仪表学报》2004年第z1期464-465,470,共3页Chinese Journal of Scientific Instrument

基　　金：上海市高等学校青年科学基金资助项目(1142)。

摘　　要：CAN是一个具有实时性的高速串行总线系统,它被广泛应用于嵌入式系统中。提出了CAN协议的一组规范并就CAN的12个属性对这些规范进行检验。验证结果显示CAN不像期望的那样具备所有的属性,就这些发现的涵义进行了讨论。The controller area network (CAN) is a high-speed serial bus system with real-time capabilities, widely used in embedded systems. We have presented a family of specifications of the CAN protocol and checked these specifications for 12 important properties. Our results indicate that not all properties can be expected to hold of a CAN implementation and we discuss the implications of these findings.

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

分 类 号：TH7-55[机械工程—仪器科学与技术]