形式化方法在分布式测控系统协议设计中的应用

• 作者: 周亮 戎舟 高翔
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: 形式化方法 分布式测控系统 协议
• 年，卷（期）: 2004,（8）
• 所属期刊栏目: 理论与实践
• 页码范围: 59-61
• 页数: 3页
• 分类号: TP273
• 字数: 3042字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-8829.2004.08.022

摘要

提出了将形式化方法引入分布式测控系统的观点,使测控人拥有一套规范的协议设计、验证、实现、测试的方法,使开发者尽可能早地获知协议缺陷,最大限度地检测和纠正包括避免死锁、活锁、不可执行的行为等缺陷,完善协议,而且克服了非形式化验证是基于设计者的人工经验,缺乏数学的严密性和科学性的缺点,同时缩短了协议开发周期,给传统测控技术赋予了新的内容.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高翔	东南大学仪器科学与工程系	28	490	8.0	22.0
2	周亮	南京邮电学院信息工程系	19	50	4.0	6.0
3	戎舟	南京邮电学院电子工程系	35	203	8.0	13.0