形式化方法在分布式测控系统协议设计中的应-中国科技论文在线.PDFVIP

形式化方法在分布式测控系统协议设计 中的应用 ·59· 文章编号：1000—8829(2004)08—0059—03 形式化方法在分布式测控系统协议设计中的应用 ApplicationofFOrmaIDescriptionTechniqueforProtocolDesigning in Distributed MeasuringandControllingSystem (东南大学 仪器科学与工程系，江苏 南京 同 翔 (南京邮电学院 电子工程系，江苏 南京 戎 舟 (南京邮电学院信息工程系，江苏 南京 周 冗 摘要 ：提 出了将形式化方法引入分布式测控系统的观点，使测控 在协议状态较为复杂的情况下，比如通信双方同时发起或进行 人拥有一套规范的协议设计、验证、实现、测试的方法，使开发者 协商过程时，或多个 (大于等于3)实体并发通信时，很容易丢三 尽可能早地获知协议缺陷，最大限度地检测和纠正包括避免死 落四，缺乏条理性。这样，协议设计者与协议实现者面临一个棘 锁、活锁、不可执行的行为等缺陷，完善协议，而且克服 了非形式 手的问题是：如何用有效的方法来检验 自己设计协议的正确性。 化验证是基于设计者的人工经验 ，缺乏数学的严密性和科学性 随着网络技术的发展，组建现代测试系统已是现代测控人 的缺点，同时缩短 了协议开发周期 ，给传统测控技术赋予了新的 的重要任务，所谓现代网络测试系统，主要包括两个概念主体， 内容。 即：测试仪器和测试网络。测试仪器是实现测试的承载体，一切 关键词：形式化方法；分布式测控系统；协议 测试活动和测试手段的运用都要依靠测试仪器的工作，而测试 中图分类号：TP273 网络则是依靠现代网络发展所产生的成熟技术，将测试仪器所 文献标识码：A 采集到的测试数据进行相对可靠的传输，使测试数据能够在测 试远端进行分析和处理。网络化传感器(如AgilentTechnofooies Abstract：AviewonintroducingtheFDT(formaldescriptiontech— 和Telemonitor联合开发的基于 IEEE1451、2标准的网络传感器 nique)intothesystem ispresented，whichcanachieveasetof TMl1451．2-KC等)、网络化仪器(如安捷伦的网络化示波器和网 norm ativemethod aboutdesigning，validating，realizing，testingproto— 络化逻辑分析仪等)的出现及通用网络通信协议使网络测控成 col；uncoverthebugsofthatassoonaspossible；checkandrectify 为可能。为了保证测控系统的实时性，可适当地裁减通信协议， bugs，forinstancethedielock，livelock，impossiblebehaviorinmaxi— 甚至定义 自己的通信协议 (具有保密性)，此时，同样面临协议 2 2 2 mum；perfecttheprotocoland shorten theexploitation cycle，and 验证及测试 问题。 hurdlethenon—form alizedvalidationfaults