| CAN总线协议的限定状态分析 |
| |
| 引用本文： | 王凌,杜娟娟,张凤登. CAN总线协议的限定状态分析[J]. 仪表技术与传感器, 2004, 0(8): 40-42 |
| |
| 作者姓名： | 王凌 杜娟娟 张凤登 |
| |
| 作者单位： | 上海理工大学光电学院,上海,200093 |
| |
| 基金项目： | 上海市高等学校青年科学基金(1142) |
| |
| 摘 要： | CAN是一种具有实时性的高速串行总线系统，它被广泛应用于嵌入式系统中。提出了CAN协议的一组规范．并就CAN的12个属性对这些规范进行检验。验证结果显示：CAN不像期望的那样具备所有的属性，就这些发现的涵义进行了讨论。同时，通过进行大量的实验，确定协议的状态空间大小是如何受数据链路层各种特性的引入、网络节点数据、不同报文类型种类及其他参数影响的。
|
| 关 键 词： | 控制器局域网（CAN） 总线 Murφ验证系统 |
| 文章编号： | 1002-1841(2004)08-0040-03 |
| 修稿时间： | 2003-11-13 |
Finite-state Analysis of CAN Bus Protocol |
| |
| WANG Ling,Du Juan-juan,ZHANG Feng-deng. Finite-state Analysis of CAN Bus Protocol[J]. Instrument Technique and Sensor, 2004, 0(8): 40-42 |
| |
| Authors: | WANG Ling Du Juan-juan ZHANG Feng-deng |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
