一個嵌入式系統(tǒng)的Petri網(wǎng)模型與CPLD實現(xiàn)

1、一個嵌入式系統(tǒng)的Petri網(wǎng)模型與CPLD實現(xiàn)作者：劉仁峰盛翊智沈思旻文章來源：電子技術應用摘要：將網(wǎng)與結合，運用網(wǎng)建立硬件系統(tǒng)模型，然后采用語言進行設計，最終下載到，成功地實現(xiàn)了整個硬件系統(tǒng)的邏輯控制器設計。網(wǎng)是異步并發(fā)系統(tǒng)，沒有人為的控制流，直觀地表示了非確定性；且可以圖形化的方式描述復雜的系統(tǒng)，并可運用數(shù)學工具進行分析。因此，其在軟件系統(tǒng)的建模與仿真中得到廣泛應用。網(wǎng)自身具備的可運行性方便了系統(tǒng)形式化描述級的模擬，可以用于表達不同抽象級上的系統(tǒng)概念并清楚地描述整個系統(tǒng)的運作過程。筆者發(fā)現(xiàn)網(wǎng)的應用目前僅局限于軟件系統(tǒng)的設計，例如網(wǎng)絡協(xié)議、物流管理等，而在硬件系統(tǒng)中卻很少涉足。硬件系統(tǒng)隨著功

2、能的日益增強，其功能描述也越來越復雜?；谟布到y(tǒng)描述的語言以其強大的硬件描述能力，已被廣大科研工作者所采用。語言也適用于描述異步并發(fā)系統(tǒng)，因此可與網(wǎng)建立的模型聯(lián)系起來。本文采用自頂向下與層次分析相結合的設計方法用網(wǎng)的一個子類系統(tǒng)（條件事件系統(tǒng)）對視頻輸入卡的邏輯控制器建立模型。針對控制器模型中關心和需要觀察的變量，確定描述的實體和端口，由系統(tǒng)網(wǎng)的拓撲結構確定條件和事件間的邏輯關系，構造語言中的結構體。采用開發(fā)工具 進行代碼設計，邏輯綜合，并對設計進行仿真，最后下載到，驗證了邏輯控制器設計的正確性。 應用背景及控制器功能要求圖為某一視頻輸入卡結構框圖。前端視頻信號經(jīng)過解碼、緩沖后，將數(shù)據(jù)送入處

3、理。其中由邏輯控制器協(xié)調(diào)各部分之間的運作。從圖中可以看出，邏輯控制器與視頻切換、視頻解碼、視頻數(shù)據(jù)緩存以及等部分存在聯(lián)系，歸納起來需要完成五個基本功能：視頻通道切換控制；插入行標志信息；的初始化操作；寫；讀。要完成上述五個基本功能，必須保證每個功能與另一功能之間不存在沖突，但允許存在并發(fā)行為，同時它們之間的邏輯順序應保持一致。因此需要一個主控模塊協(xié)調(diào)各部分的操作。各功能部分之間的邏輯關系比較復雜，涉及到圖像數(shù)據(jù)的行同步以及場同步等問題，一旦出錯，則接收的就不是有效的圖像數(shù)據(jù)，后續(xù)工作也不能正常進行。為此，首先建立網(wǎng)模型，并運用數(shù)學工具進行分析，最后采用語言實現(xiàn)。 控制器網(wǎng)模型應用網(wǎng)的一個子類建

4、立視頻輸入卡的邏輯控制器模型。控制器實現(xiàn)的五大功能，在滿足各自條件的情況下，能夠正確地完成相關操作。如果將每個功能展開進行網(wǎng)模型設計，將會使整個系統(tǒng)的節(jié)點過多。節(jié)點一多，則不易分析其性質(zhì)和計算它的可達樹、不變量等參數(shù)。網(wǎng)特有的直觀易懂、適于交流的圖形表示也就失去了意義。采用層次分析的方法，首先在頂層根據(jù)各功能要求建立一個網(wǎng)模型，然后在各個模塊內(nèi)部建立更詳細的子模型。鑒于頂層和底層的分析方法類似，只將頂層模型展開討論。網(wǎng)絡的一些動態(tài)特性，如庫所與變遷的含義如表所示。表1 庫所和變遷的含義庫 所含 義變 遷含 義P1初始化FIFO有效T0系統(tǒng)開始（sysSTART）P2初始化FIFO結束T1通道切

5、換P3插入行屬性結束T2初始化FIFOP4讀FIFO有效T3插入行屬性標志P5通道切換有能T4寫FIFOP6VREF=0T5讀FIFO奇場數(shù)據(jù)P7插入行屬性標志有效T6場開始P8寫FIFO有效T7場同步P9RST0=0T8行開始P10HREF=0T9行同步P11VREF=1T0行有效P12HREF=1T11讀取FIFO偶場數(shù)據(jù)P13RST0=1P14偶場結束邏輯控制器頂層網(wǎng)模型如圖所示。該模型是一個基本網(wǎng)系統(tǒng)，其狀態(tài)元素稱為條件，變遷元素稱為事件。事件的發(fā)生改變條件的狀態(tài)（成真與否），引起信息在網(wǎng)上的流動。由條件和事件組成的有向網(wǎng)通常表現(xiàn)為三元組（，；），其中為條件集，為事件集。同時該模型還滿

6、足如下條件：（，；）為簡單網(wǎng)；中每個條件都有機會成真，也有機會成假；中每個事件都有機會發(fā)生；由初始情態(tài)導出的可達情態(tài)集是完全可到達關系下的等價類。因此，該模型還是一個系統(tǒng)。在網(wǎng)仿真軟件 中進行仿真測試，結果表明該模型能很好地描述控制器各部分之間的邏輯關系。 程序的基本單元設計（復雜可編程邏輯器件）是處于并行工作方式的基本電路單元構成的高速、大規(guī)模集成器件，可作為一種并發(fā)系統(tǒng)模型與網(wǎng)建立聯(lián)系。作為一種硬件描述語言，支持行為描述、數(shù)據(jù)流描述和結構化描述等多種描述方法，可以用并行和順序多種語句方式描述實際的系統(tǒng)，并可采用的并行語句描述系統(tǒng)中條件事件間的并發(fā)關系，用的順序語句描述條件事件間的順序約束機

7、制，為解決系統(tǒng)中的有效沖突提供了可行的方法。語言程序設計的基本單元稱為一個基本設計實體，其主要由實體說明（ ）和構造體（ ）兩部分構成。實體說明部分規(guī)定了設計單元的輸入輸出接口信號或引腳。根據(jù)該控制器的系統(tǒng)中關心和需觀察的變量選擇系統(tǒng)的輸入和輸出信號，以確定基本設計單元的實體及其端口。在控制器的系統(tǒng)模型中，因為事件驅(qū)動條件是變化的，所以將發(fā)生的事件作為設計實體的輸入信號，系統(tǒng)條件作為實體的輸出信號。同時，為實體設計一個輸入端口，使系統(tǒng)上電復位。當觸發(fā)時賦予系統(tǒng)初始標識，系統(tǒng)資源（）流動使能。下面是具體的實體描述。 其它庫 ： 數(shù)據(jù)類型事件：數(shù)據(jù)類型條件：數(shù)據(jù)類型 構造體部分定義了設計單元的具體

8、構造和操作（行為）。系統(tǒng)模型的拓撲結構直觀地表達了條件和事件間的約束機制。這種約束機制映射為控制器內(nèi)部各模塊之間的邏輯關系。根據(jù)控制器系統(tǒng)模型的特點，可采用多進程結構描述系統(tǒng)。進程內(nèi)部順序執(zhí)行，進程之間并發(fā)執(zhí)行。多進程結構是并行執(zhí)行進程的網(wǎng)絡，多個進程并發(fā)執(zhí)行。因此從系統(tǒng)的拓撲結構，可將各進程映射為系統(tǒng)的各庫所狀態(tài)，從而能夠描述出各條件庫所間的異步并發(fā)關系。各進程之間通過接口信號進行通信。接口信號是由新變化的參量引導進程產(chǎn)生的輸出結果。設計進程的程序，使之產(chǎn)生的輸出結果成為新的庫所狀態(tài)，從而影響變遷觸發(fā)（）條件，以各進程的輸出結果作為進程間的通信接口信號。具體描述如下： 進程：（事件集） ，

9、進程的輸出； 沖突是由系統(tǒng)資源的共享產(chǎn)生的，與并發(fā)是一對對偶的概念。在實際的網(wǎng)模型中可能存在沖突，網(wǎng)系統(tǒng)自身并不提供解決沖突的方法。避免沖突的方法或措施有：（）由用戶選擇，有沖突的地方通常是需要作出選擇和決策的地方。（）設置合適的觸發(fā)規(guī)則：確定性產(chǎn)生規(guī)則，如優(yōu)先級；不確定性產(chǎn)生規(guī)則，如發(fā)生概率。（）改變系統(tǒng)結構，即改寫網(wǎng)的關聯(lián)矩陣，增加共享資源回收。語言中的并行語句同樣不能解決沖突問題。使用并行語句描述沖突時將導致資源的丟失。而使用語言中的順序語句，如進程內(nèi)部的語句，采用設定不同優(yōu)先級的方法，可以解決網(wǎng)中存在的沖突。本控制器系統(tǒng)也存在沖突現(xiàn)象，如圖所示。對每個庫所進程的變化（的有無），使用電平

10、的高低來表征。事件發(fā)生與否，用脈沖出現(xiàn)與否表征。該系統(tǒng)的結構體共有個并行處理的進程。根據(jù)對控制器進行形式描述的思想，在進程內(nèi)部采用下列結構：進程：（事件參數(shù)表） ，條件表達式 行為表達式 ； 進程；事件參數(shù)表（也稱敏感量）中事件觸發(fā)進程的執(zhí)行過程是：在判斷事件的條件表達式為真后，順序執(zhí)行其后的行為表達式，由新變化的參量引導進程產(chǎn)生輸出結果；執(zhí)行完進程語句后，返回進程的事件參數(shù)，等待事件集新的變化，引發(fā)進程的再一次進行，往復循環(huán)。 基于的仿真與實現(xiàn)語言設計技術齊全，方法靈活，支持廣泛，對系統(tǒng)硬件描述能力強，具有多層次描述系統(tǒng)硬件的能力，可以從系統(tǒng)的數(shù)學模型直到門級電路。對控制器的網(wǎng)模型進行程序設計后，利用綜合器進行邏輯綜合和優(yōu)化，綜合后再經(jīng)仿真器進行時序仿真，得到涉及器件硬件特性的仿真結果，其結果正確。最后下載到系列的芯片上，從而實現(xiàn)視頻輸入卡邏輯控制器設計。行為仿真結果的仿真波形如圖