基于TPN的嵌入式系統(tǒng)軟硬件劃分技術(shù)研究.pdf

1、近年來,嵌入式系統(tǒng)在國民經(jīng)濟和國防等許多領(lǐng)域得到了廣泛的應(yīng)用。隨著系統(tǒng)復(fù)雜性日益提高,軟硬件協(xié)同設(shè)計技術(shù)成為提高設(shè)計效率的重要技術(shù)。而軟硬件劃分是協(xié)同設(shè)計流程中的一個關(guān)鍵任務(wù),對軟硬件劃分的研究具有重要的學(xué)術(shù)和實踐價值。
　　本文通過在基于SystemC的系統(tǒng)設(shè)計流程中引入Petri網(wǎng)分析技術(shù)和遺傳算法,提出了一種改進的軟硬件劃分方法,所做的工作主要有:
　　(1)提出將時間Petri網(wǎng)作為劃分模型和性能評估的工具,并嵌入到

2、SystemC系統(tǒng)設(shè)計流程中,以彌補SystemC缺乏形式化分析工具的不足。
　　(2)在分析SystemC程序結(jié)構(gòu)的基礎(chǔ)上,提出了由SystemC程序到時間Petri網(wǎng)的轉(zhuǎn)換算法。并在一個例子中使用Petri網(wǎng)可達圖方法檢測出原SystemC程序存在的死鎖問題,證明了轉(zhuǎn)換算法的有效性。
　　(3)利用Petri網(wǎng)的不變量將系統(tǒng)劃分成子網(wǎng),通過對每個子網(wǎng)的考察實現(xiàn)對系統(tǒng)性能的評估。不變量的計算采用基于矩陣方程的方法以避免使用