@@ 在IT技术飞速发展的今天,作为网络技术的一个重要领域,工业现场网络也在飞速发展. 工业现场网络的协议的复杂性大大增加了.基金会现场总线(foundation fi eldbus, FF)是流程工业自动化的发展趋势,但是它的规范,即FF协议,也是非常复杂的.与其他的一些总线相比,FF协议在协议的理解和实现上,要困难的多.因此 ,有必要借助于协议分析和验证的工具来帮助我们理解和实现协议.有限状态机(fini te state machine, FSM)是描述和验证网络协议的方法之一,是分析协议状态转换的有力工具,本文将结合FF协议简介FSM模型及其使用方法.
展开▼