發(fā)布時(shí)間：2018-01-02 20:31

  本文關(guān)鍵詞：基于增廣著色Petri網(wǎng)的嵌入式系統(tǒng)建模方法研究　出處：《西華大學(xué)》2013年碩士論文　論文類(lèi)型：學(xué)位論文

  更多相關(guān)文章： 嵌入式系統(tǒng) 建模方法 增廣著色Petri網(wǎng) 模型仿真 VerilogHDL

【摘要】：近些年來(lái)，人們對(duì)于嵌入式系統(tǒng)的應(yīng)用需求不斷增長(zhǎng)，使得嵌入式系統(tǒng)的復(fù)雜性不斷增加，規(guī)模不斷增大，系統(tǒng)的不確定性越發(fā)明顯，這些原因都給開(kāi)發(fā)人員帶來(lái)了新的挑戰(zhàn)。傳統(tǒng)的嵌入式系統(tǒng)設(shè)計(jì)方法已經(jīng)無(wú)法滿(mǎn)足現(xiàn)階段的設(shè)計(jì)要求，利用高層建模方法對(duì)系統(tǒng)進(jìn)行分析，然后在此基礎(chǔ)上進(jìn)行后期設(shè)計(jì)成為了嵌入式系統(tǒng)研究的熱點(diǎn)。 Petri網(wǎng)特別適合描述系統(tǒng)順序、并發(fā)、沖突以及同步等現(xiàn)象。作為一種系統(tǒng)的描述工具，Petri網(wǎng)不僅可以刻畫(huà)系統(tǒng)的靜態(tài)結(jié)構(gòu)，而且可以分析系統(tǒng)的動(dòng)態(tài)行為。Petri網(wǎng)既有直觀的圖形表示，又有深刻的數(shù)學(xué)內(nèi)涵和基礎(chǔ)，可以利用許多數(shù)學(xué)的方法對(duì)模型驗(yàn)證，所以，Petri網(wǎng)是形式化大型系統(tǒng)開(kāi)發(fā)的有效工具之一。 本文對(duì)幾種類(lèi)型的系統(tǒng)建模方法進(jìn)行了分析和比較，，結(jié)合嵌入式系統(tǒng)建模的特點(diǎn)，分析了每種方法的優(yōu)點(diǎn)和缺點(diǎn)，指出了Petri網(wǎng)在嵌入式系統(tǒng)建模中的優(yōu)勢(shì)。在一般Petri網(wǎng)的基礎(chǔ)上研究了一種適合嵌入式系統(tǒng)建模的擴(kuò)展Petri網(wǎng)——增廣著色Petri網(wǎng)，在該方法的基礎(chǔ)上討論了一般嵌入式系統(tǒng)的設(shè)計(jì)流程。然后研究了擴(kuò)展Petri網(wǎng)的模型驗(yàn)證方法，討論了一種基于硬件邏輯電路的仿真分析方法。最后以一個(gè)交通信號(hào)控制系統(tǒng)為實(shí)例進(jìn)行了建模，并對(duì)仿真結(jié)果進(jìn)行了具體的分析，證明了這種方法的可行性。
[Abstract]:In recent years, the demand for embedded system application is increasing, which makes the complexity and scale of embedded system increase, and the uncertainty of embedded system becomes more and more obvious. These reasons have brought new challenges to developers. The traditional embedded system design method has been unable to meet the design requirements of the current stage, the use of high-level modeling method to analyze the system. On this basis, the later design has become the focus of embedded system research. Petri nets are especially suitable to describe system order, concurrency, conflict and synchronization. As a system description tool, Petri nets can not only describe the static structure of the system. And can analyze the dynamic behavior of the system. Petri net not only intuitive graphical representation, but also profound mathematical connotation and foundation, can use many mathematical methods to verify the model, so. Petri net is one of the effective tools for formalizing large-scale system development. In this paper, several kinds of system modeling methods are analyzed and compared. Combined with the characteristics of embedded system modeling, the advantages and disadvantages of each method are analyzed. The advantage of Petri net in embedded system modeling is pointed out. Based on general Petri net, an extended Petri net-augmented colored Petri net for embedded system modeling is studied. . On the basis of this method, the design flow of general embedded system is discussed, and then the model verification method of extended Petri net is studied. A simulation analysis method based on hardware logic circuit is discussed. Finally, a traffic signal control system is modeled, and the simulation results are analyzed in detail, which proves the feasibility of this method.
【學(xué)位授予單位】：西華大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2013
【分類(lèi)號(hào)】：TP301.1;N945.12

【參考文獻(xiàn)】

相關(guān)期刊論文 前6條

1 吳瓊;邵志清;劉剛;陳麗瓊;;基于著色時(shí)間Petri網(wǎng)的實(shí)時(shí)系統(tǒng)的形式驗(yàn)證[J];計(jì)算機(jī)科學(xué);2008年07期

2 張國(guó)印;劉銘;姚愛(ài)紅;門(mén)朝光;;基于擴(kuò)展Petri網(wǎng)的系統(tǒng)建模及形式化驗(yàn)證方法[J];計(jì)算機(jī)應(yīng)用研究;2010年12期

3 蔣屹新,林闖,曲揚(yáng),尹浩;基于Petri網(wǎng)的模型檢測(cè)研究[J];軟件學(xué)報(bào);2004年09期

4 范貴生;虞慧群;陳麗瓊;劉冬梅;;策略驅(qū)動(dòng)的可靠嵌入式系統(tǒng)建模及分析方法[J];軟件學(xué)報(bào);2011年06期

5 高燕,沈理;基于Petri網(wǎng)的嵌入式系統(tǒng)建模[J];微電子學(xué)與計(jì)算機(jī);2002年10期

6 葉劍虹;葉雙;宋文;孫世新;;基于增廣Petri網(wǎng)的實(shí)時(shí)交通信號(hào)控制系統(tǒng)[J];廈門(mén)大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年01期

本文編號(hào)：1370822