摘要
提出了将形式化方法引入分布式测控系统的观点 ,使测控人拥有一套规范的协议设计、验证、实现、测试的方法 ,使开发者尽可能早地获知协议缺陷 ,最大限度地检测和纠正包括避免死锁、活锁、不可执行的行为等缺陷 ,完善协议 ,而且克服了非形式化验证是基于设计者的人工经验 ,缺乏数学的严密性和科学性的缺点 ,同时缩短了协议开发周期 ,给传统测控技术赋予了新的内容。
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.
出处
《测控技术》
CSCD
2004年第8期59-61,共3页
Measurement & Control Technology
关键词
形式化方法
分布式测控系统
协议
FDT(formal description technique)
distributed measuring and controlling system
protocol
