用于嵌入式系統(tǒng)建模的擴展PRES網(wǎng)

　　由于嵌入式系統(tǒng)功能的復(fù)雜性和需求的多樣性，使得在工程上進行嵌入式系統(tǒng)的設(shè)計成為難題建立一個良好的形式化系統(tǒng)模型，在系統(tǒng)設(shè)計的初級階段對系統(tǒng)進行模擬和仿真，對系統(tǒng)的有效性、穩(wěn)定性和可靠性進行分析，及時對系統(tǒng)設(shè)計進行相應(yīng)的優(yōu)化并且及時發(fā)現(xiàn)系統(tǒng)級的邏輯和時序錯誤，可以避免不必要的損失，也可以增強設(shè)計過程的規(guī)范性。應(yīng)用Pet ri網(wǎng)對嵌入式系統(tǒng)進行高級綜合建模是近年來發(fā)展的一個新技術(shù)。Petri網(wǎng)的概念最早是由西德的CA．Pet ri博士于1962年提出來的，70年代以后，Pet ri網(wǎng)理論在歐美一些國家得到了迅速的發(fā)展，并被廣泛應(yīng)用于計算機科學(xué)技術(shù)和其他許多學(xué)科領(lǐng)域但單純的Petri網(wǎng)在表達嵌入式系統(tǒng)上有不足之處，因此人們根據(jù)嵌入式系統(tǒng)的實際應(yīng)用提出了多種擴充的Pet ri網(wǎng)模型。擴展的時間Pet ri網(wǎng)EPTN能夠描述時間信息，并可以清楚地表現(xiàn)出數(shù)據(jù)和控制的流向，缺點是將數(shù)據(jù)和控制分別用2個圖表示，即控制用時間Petri網(wǎng)表示，數(shù)據(jù)用有向圖表示，不利于對數(shù)據(jù)和控制流的綜合分析！PR ESI-是專門為嵌入式系統(tǒng)提出的Petri網(wǎng)模型，它可以表示復(fù)雜的數(shù)據(jù)運算，準確地分析系統(tǒng)的時間特性，并支持對系統(tǒng)不同層次的抽象，缺點是弱化了對控制流的表達。雙變遷Petri網(wǎng)f DTPN）用不同的變遷分別表示對數(shù)據(jù)和控制的處理，但它在描述數(shù)據(jù)操作時不能表示較復(fù)雜的運算，對時間約束的描述和分析也不充分盯。

　　本文針對嵌入式系統(tǒng)提出了一種改進的Pet ri網(wǎng)模型 EPRES f extended Petri net based　rep res en to tion for emb ed ded svstem）．可以對系統(tǒng)的功能實現(xiàn)資源洳內(nèi)存、帶寬能量等消耗、時間約束等做出較充分的刻畫。