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

Application of Formal Description Technique for Protocol Designing in Distributed Measuring and Controlling System

作　　者：高翔[1] 戎舟[2] 周亮[3] 

机构地区：[1]东南大学仪器科学与工程系,江苏南京210096 [2]南京邮电学院电子工程系,江苏南京210003 [3]南京邮电学院信息工程系,江苏南京210003

出　　处：《测控技术》2004年第8期59-61,共3页Measurement & Control Technology

摘　　要：提出了将形式化方法引入分布式测控系统的观点 ,使测控人拥有一套规范的协议设计、验证、实现、测试的方法 ,使开发者尽可能早地获知协议缺陷 ,最大限度地检测和纠正包括避免死锁、活锁、不可执行的行为等缺陷 ,完善协议 ,而且克服了非形式化验证是基于设计者的人工经验 ,缺乏数学的严密性和科学性的缺点 ,同时缩短了协议开发周期 ,给传统测控技术赋予了新的内容。A view on introducing the FDT(formal description technique) into the system is presented,which can achieve a set of normative method about designing,validating,realizing,testing protocol;uncover the bugs of that as soon as possible;check and rectify bugs,for instance the dielock,livelock,impossible behavior in maximum;perfect the protocol and shorten the exploitation cycle,and hurdle the non-formalized validation faults because of the imprecise and unscientific experience.

关 键 词：形式化方法 分布式测控系统 协议 

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