论文部分内容阅读
提出了将形式化方法引入分布式测控系统的观点 ,使测控人拥有一套规范的协议设计、验证、实现、测试的方法 ,使开发者尽可能早地获知协议缺陷 ,最大限度地检测和纠正包括避免死锁、活锁、不可执行的行为等缺陷 ,完善协议 ,而且克服了非形式化验证是基于设计者的人工经验 ,缺乏数学的严密性和科学性的缺点 ,同时缩短了协议开发周期 ,给传统测控技术赋予了新的内容。
Put forward the viewpoint of introducing the formalized method into the distributed measurement and control system, and make the test and control personnel have a set of normative protocol design, verification, implementation and testing methods so that developers can learn protocol defects as soon as possible and detect and correct to the maximum extent Including avoidance of deadlocks, livelocks, unenforceable behavior and other defects, improve the agreement, and to overcome the non-formal verification is based on the designer’s artificial experience, the lack of mathematical rigor and scientific shortcomings, while shortening the protocol development cycle , To the traditional measurement and control technology has given new content.