评价网 > 科教论文 > 理学毕业论文 > 理工论文 > 正文

一个嵌入式系统的Petri网模型与CPLD实现

2017-08-11 05:53 摘要：将Ｐｅｔｒｉ网与ＶＨＤＬ结合，运用Ｐｅｔｒｉ网建立硬件系统模型，然后采用ＶＨＤＬ语言进行设计，最终下载到ＣＰＬＤ，成功地实现了整个硬件系统的逻辑控制器设计。

Ｐｅｔｒｉ网是异步并发系统，没有人为的控制流，直观地表示了非确定性；且可以图形化的方式描述复杂的系统，并可运用数学工具进行分析。因此，其在软件系统的建模与仿真中得到广泛应用。Ｐｅｔｒｉ网自身具备的可运行性方便了系统形式化描述级的模拟，可以用于表达不同抽象级上的系统概念并清楚地描述整个系统的运作过程。笔者发现Ｐｅｔｒｉ网的应用目前仅局限于软件系统的设计，例如网络协议、物流管理等，而在硬件系统中却很少涉足。硬件系统随着功能的日益增强，其功能描述也越来越复杂。基于硬件系统描述的ＶＨＤＬ语言以其强大的硬件描述能力，已被广大科研工作者所采用。ＶＨＤＬ语言也适用于描述异步并发系统，因此可与Ｐｅｔｒｉ网建立的模型联系起来。

本文采用自顶向下与层次分析相结合的设计方法熡茫校澹簦颍橥的一个子类Ｃ／Ｅ系统（条件／事件系统）对视频输入卡的逻辑控制器建立模型。针对控制器Ｃ／Ｅ模型中关心和需要观察的变量，确定ＶＨＤＬ描述的实体和端口，由Ｃ／Ｅ系统网的拓扑结构确定条件和事件间的逻辑关系，构造ＶＨＤＬ语言中的结构体。采用ＥＤＡ开发工具ＭＡＸ＋ＰＬＵＳ ＩＩ进行代码设计，逻辑综合，并对设计进行仿真，最后下载到ＣＰＬＤ，验证了逻辑控制器设计的正确性。

图1 视频输入卡结构框图

１ 应用背景及控制器功能要求

图１为某一视频输入卡结构框图。前端视频信号经过解码、缓冲后，将数据送入ＤＳＰ处理。其中由逻辑控制器协调各部分之间的运作。从图１中可以看出，逻辑控制器与视频切换、视频解码、视频数据缓存以及ＤＳＰ等部分存在联系，归纳起来需要完成五个基本功能：视频通道切换控制；插入行标志信息；ＦＩＦＯ的初始化操作；写ＦＩＦＯ；读ＦＩＦＯ。

要完成上述五个基本功能，必须保证每个功能与另一功能之间不存在冲突，但允许存在并发行为，同时它们之间的逻辑顺序应保持一致。因此需要一个主控模块协调各部分的操作。各功能部分之间的逻辑关系比较复杂，涉及到图像数据的行同步以及场同步等问题，一旦出错，则接收的就不是有效的图像数据，后续工作也不能正常进行。为此，首先建立Ｐｅｔｒｉ网模型，并运用数学工具进行分析，最后采用ＶＨＤＬ语言实现。

２ 控制器Ｐｅｔｒｉ网模型

应用Ｐｅｔｒｉ网的一个子类Ｃ／Ｅ建立视频输入卡的逻辑控制器模型。控制器实现的五大功能，在满足各自条件的情况下，能够正确地完成相关操作。如果将每个功能展开进行Ｐｅｔｒｉ网模型设计，将会使整个Ｃ／Ｅ系统的节点过多。节点一多，则不易分析其性质和计算它的可达树、不变量等参数。Ｐｅｔｒｉ网特有的直观易懂、适于交流的图形表示也就失去了意义。采用层次分析的方法，首先在顶层根据各功能要求建立一个Ｐｅｔｒｉ网模型，然后在各个模块内部建立更详细的子模型。鉴于顶层和底层的分析方法类似，只将顶层模型展开讨论。网络的一些动态特性，如库所与变迁的含义如表１所示。 （科教论文网 lw.nSeAc.com编辑发布）

表1 库所和变迁的含义

库 所含 义变 迁含 义P1初始化FIFO有效T0系统开始（sysSTART）P2初始化FIFO结束T1通道切换P3插入行属性结束T2初始化FIFOP4读FIFO有效T3插入行属性标志P5通道切换有能T4写FIFOP6VREF=0T5读FIFO奇场数据P7插入行属性标志有效T6场开始P8写FIFO有效T7场同步P9RST0=0T8行开始P10HREF=0T9行同步P11VREF=1T0行有效P12HREF=1T11读取FIFO偶场数据P13RST0=1　　P14偶场结束　　

逻辑控制器顶层Ｐｅｔｒｉ网模型如图２所示。该模型是一个基本网系统，其状态元素称为条件，变迁元素称为事件。事件的发生改变条件的状态（成真与否），引起信息在网上的流动煟堡牎Ｓ商跫和事件组成的有向网通常表现为三元组（Ｂ，Ｅ；Ｆ），其中Ｂ为条件集，Ｅ为事件集。同时该模型还满足如下条件：