摘要

在分析FF总线数据链路层协议的基础上,对FF总线链路活动调度器进行了形式化建模方法研究,建立了FF设备中链路活动调度器LAS的有限状态机模型,为现场总线网络的性能分析提供理论基础。