| 形式化方法在分布式测控系统协议设计中的应用 |
| |
| 引用本文： | 高翔,戎舟,周亮. 形式化方法在分布式测控系统协议设计中的应用[J]. 测控技术, 2004, 23(8): 59-61 |
| |
| 作者姓名： | 高翔 戎舟 周亮 |
| |
| 作者单位： | 东南大学,仪器科学与工程系,江苏,南京,210096;南京邮电学院,电子工程系,江苏,南京,210003;南京邮电学院,信息工程系,江苏,南京,210003 |
| |
| 摘 要： | 提出了将形式化方法引入分布式测控系统的观点,使测控人拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早地获知协议缺陷,最大限度地检测和纠正包括避免死锁、活锁、不可执行的行为等缺陷,完善协议,而且克服了非形式化验证是基于设计者的人工经验,缺乏数学的严密性和科学性的缺点,同时缩短了协议开发周期,给传统测控技术赋予了新的内容.
|
| 关 键 词： | 形式化方法 分布式测控系统 协议 |
| 文章编号： | 1000-8829(2004)08-0059-03 |
| 修稿时间： | 2004-03-22 |
Application of Formal Description Technique for Protocol Designing in Distributed Measuring and Controlling System |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
