基于Petri網(wǎng)的嵌入式系統(tǒng)高層級設(shè)計方法與技術(shù)研究.pdf

1、近年來，蓬勃發(fā)展的嵌入式計算技術(shù)已經(jīng)滲透到人類生產(chǎn)生活的每個角落，成為計算機科學(xué)的一個重要研究、應(yīng)用領(lǐng)域。傳統(tǒng)的設(shè)計方法難以滿足當(dāng)前大規(guī)模復(fù)雜嵌入式系統(tǒng)設(shè)計的要求，研究高抽象級的設(shè)計方法是嵌入式系統(tǒng)設(shè)計者面臨的挑戰(zhàn)。本文根據(jù)嵌入式系統(tǒng)的特點，結(jié)合對現(xiàn)有設(shè)計方法的分析比較，提出了一種基于擴展Petri網(wǎng)模型的嵌入式系統(tǒng)高層級設(shè)計方法和技術(shù)，研究了高層級系統(tǒng)建模方法和系統(tǒng)功能驗證技術(shù)，探討了基于該模型的嵌入式系統(tǒng)設(shè)計流程和開發(fā)模式，通過設(shè)計

2、實例，說明了設(shè)計方法的可行性和實用性。 本文主要內(nèi)容簡述如下： ●概述了嵌入式系統(tǒng)的發(fā)展?fàn)顩r和面臨的問題，分析了各種嵌入式系統(tǒng)設(shè)計建模方法的特點和不足，指出形式化、可執(zhí)行模型是當(dāng)前高層級設(shè)計建模研究的主要方向。 ●針對傳統(tǒng)Petri網(wǎng)在嵌入式系統(tǒng)建模中存在數(shù)據(jù)處理能力不強、沒有考慮時間因素和沒有層次結(jié)構(gòu)的問題，提出了一種面向?qū)ο蟮挠嫊r雙流Petxi網(wǎng)模型(OO-TDPN)，給出了模型的形式化定義；通過擴展端口、引

3、入開放網(wǎng)概念，增強了模型的交互能力；與其他類似模型相比，本文模型在數(shù)據(jù)流描述、層次化建模、主動交互能力方面都有較大提高，適合有時間約束的復(fù)雜嵌入式系統(tǒng)建模。 ●研究了嵌入式系統(tǒng)Petri網(wǎng)模型的分析驗證方法。闡述了仿真分析和模型檢測方法的基本原理和技術(shù)特點，詳細討論了Petri網(wǎng)模型的電路仿真分析方法，提出了一種采用硬件描述語言Verilog HDL描述OO-TDPN模型的技術(shù)，通過實例仿真證明了方法的可行性和實用性；與以往的P