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

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

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

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