通信协议的Petri网模型与FPGA实现.pdfVIP

通信协议的!# $% 网模型与!’( 实现 镇江江苏理工大学电气信息学院!#$#% 摘 要：应用 !#$% 网中的’ ( 系统建立半双工通信协议模型，并对基于 ’ ( 系统的协议模 型进行)*+, 程序设计。采用(+- 软件工具对)*+, 语言进行综合、适配，对协议模型进行性能 仿真，并由.! /- 器件实现该模型，提供了一种协议实现方法。 关键词：!#$% 网 高速硬件描述语言)*+, 电子设计自动化 现场可编程门阵列 半双工协议 !#$% 网是异步并发系统，没有人为的控制流，它直观 量，选择系统的输入和输出信号，确定’() 描述的实体 地表示了非确定性，适于建立和分析并发系统的模型。 及其端口，由 系统网的拓朴结构确定条件和事件间 !#$% *+ , 网自身具备的可运行性方便了系统形式化描述级的模拟， 的逻辑关系，构造 ’() 语言中的结构体。采用 ,(- 技 可以用于表达不同抽象级上的系统概念以及清楚地描述协 术进行高层逻辑综合、版图综合和测试码生成，对设计进 议的运作过程，因而便于分析协议和服务。 作为一种 行仿真，验证设计的正确性，最后用 器件实现了协 ’() .!/- 高速的硬件描述语言适于描述异步并发系统的设计，因而 议电路。 可与协议的!#$% 网模型建立联系。本文采用自顶向下的设 ! 协议的#$% 网模型 计方法，用 网的一个子类 系统 （条件 事件系统） !#$% *+ , + 应用 网的一个子类， 系统建立无差错的半 !#$% *+ , 对协议建立模型。根据协议 *+ , 模型中关心和需观察的变 双工停止等待协议模型。协议规定通信双方只有在有发 !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 接（上页） 查询者身份认证等。 定一次完整的查询操作。 基于规则的查询分析过程是：消息记录中的消息内容 命令解析与参数提取 为如下形式的字符串： ： ，…… 。命 ’ ()( =#$%?@ =#$%?@ =#$%?@ 令解析模块先将其解析为 命令名 ：参数 ，…… 参 受消息长度的限制，用短消息发出的查询请求应当 @ :@ 数 ，再根据命令名与规则名进行匹配，遇到匹配的规则 简短、灵活、准确。采用基于规则的分析方法可以满足这 @ 些要求。规则是由系统或用户预先定义的一组操作准则， 即按规则指定的动作操作并填写查询记录。因此，当短消 息 “ ： ”的消息记录经规则匹配后，将生成一条查 是命令解析模块分析消息记录并生成查询记录的依据。 0!1 AB 规则可以动态地增加、删除和修改。与固定的命令集或端 询 *715-*5 数据库 0-),0C,1 表中姓名为 AB 的电 口号的方式相比，规