本文關(guān)鍵詞：基于分布函數(shù)的WCET快速估計

  更多相關(guān)文章： WCET DSP PERT 實時軟件

【摘要】：在實時軟件系統(tǒng)中,軟件時間性能的分析與評估技術(shù)是一個重要的課題,然而隨著CPU的結(jié)構(gòu)越來越復(fù)雜,采用傳統(tǒng)的模擬底層硬件執(zhí)行的方法越來越困難。而基于分布函數(shù)的最壞執(zhí)行時間(Worst Case Execution Time,WCET)估計方法從概率角度出發(fā),可以繞過復(fù)雜的底層硬件建模,估計程序的最壞執(zhí)行時間。首先對TI TMS320C6713DSP匯編代碼進行基本塊的劃分,以基本塊為結(jié)點構(gòu)建程序流圖;然后用貝塔分布模擬每條指令的運行時間并采用改進的計劃評審技術(shù)(Program Evaluation and Review Technique,PERT)確定貝塔分布相關(guān)參數(shù),指令疊加后用正態(tài)分布模擬每個基本塊的執(zhí)行時間;最后利用基于路徑的方法得到整個程序的最壞執(zhí)行時間。實驗結(jié)果表明此方法是可行的和合理的。
【作者單位】： 中國空間技術(shù)研究院西安分院;西安電子科技大學(xué);
【關(guān)鍵詞】： WCET DSP PERT 實時軟件
【分類號】：TP332
【正文快照】： 1　介紹在實時嵌入式軟件系統(tǒng)中,系統(tǒng)對時間具有更加嚴(yán)格的要求,系統(tǒng)的正確性不僅與其程序的邏輯有關(guān),還與其時間特性有關(guān),只有在規(guī)定時間內(nèi)完成規(guī)定的任務(wù)時系統(tǒng)才是有效的,否則會導(dǎo)致該系統(tǒng)性能的降低甚至系統(tǒng)的失敗。因此,事先獲取系統(tǒng)中每個任務(wù)的最壞執(zhí)行時間(WCET)[1]對

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 何志明;用高級語言完成實時軟件編程之技術(shù)[J];測控技術(shù);1990年02期

2 陳德金;軍用實時軟件失效機理及可靠性提高途徑初探[J];系統(tǒng)工程與電子技術(shù);2000年04期

3 周暢,朱德森,陳綿云;基于微軟視窗系統(tǒng)實時軟件的一般構(gòu)架[J];計算機應(yīng)用研究;2002年06期

4 郭晶,黃敏;國外常用實時軟件系統(tǒng)比較[J];大學(xué)圖書館學(xué)報;2004年03期

5 令曉明,范多旺;嵌入式系統(tǒng)及其實時軟件的開發(fā)[J];甘肅科技;2004年10期

6 朱虹虹,雷航,熊光澤;一種模塊化的實時軟件可靠性測評方法[J];計算機工程與應(yīng)用;2005年08期

7 王曉虎;;嵌入式系統(tǒng)及其實時軟件的開發(fā)[J];中國高新技術(shù)企業(yè);2008年18期

8 曾云清;;工業(yè)實時軟件的評價和測試技術(shù)[J];工業(yè)控制計算機;1988年02期

9 林中達;實時軟件測試技巧探討[J];微計算機應(yīng)用;1989年06期

10 崔小武;盛翊智;翟坦;;分布式控制管理系統(tǒng)實時軟件的設(shè)計與研究[J];微計算機信息;1989年03期

中國重要會議論文全文數(shù)據(jù)庫 前4條

1 張晶;張云生;;基于模型的分布式實時軟件協(xié)作開發(fā)平臺[A];全國煉鋼連鑄過程自動化技術(shù)交流會論文集[C];2006年

2 劉偉;;一種多任務(wù)實時軟件的構(gòu)造模型及其實現(xiàn)[A];1992年中國控制與決策學(xué)術(shù)年會論文集[C];1992年

3 楊春暉;李冬;熊婧;;一種基于任務(wù)模塊的實時軟件可靠性評價模型[A];2010第十五屆可靠性學(xué)術(shù)年會論文集[C];2010年

4 劉偉;;實時軟件接收機技術(shù)初探[A];第四屆中國衛(wèi)星導(dǎo)航學(xué)術(shù)年會論文集-S7 北斗/GNSS用戶終端技術(shù)[C];2013年

中國重要報紙全文數(shù)據(jù)庫 前2條

1 周石　記者 王春;嵌入式系統(tǒng)“嵌入”智能生活[N];科技日報;2010年

2 本報記者 周波;川大智勝打造“最�？罩薪痪盵N];成都日報;2014年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 岳峰;實時軟件最壞情況執(zhí)行時間估計研究[D];大連理工大學(xué);2006年

2 江海樂;基于分層組件的嵌入式實時軟件框架設(shè)計[D];上海交通大學(xué);2013年

3 張宇亮;面向方面的分布式實時軟件的性能分析[D];廣東工業(yè)大學(xué);2006年

4 劉慶和;實時軟件功能規(guī)模度量一致性控制的研究與實踐[D];國防科學(xué)技術(shù)大學(xué);2012年

5 李進;基于Eclipse平臺的實時軟件研究與設(shè)計[D];武漢理工大學(xué);2010年

6 劉傳會;基于UML2.0的實時軟件動態(tài)行為模型一致性驗證[D];蘇州大學(xué);2008年

7 周小涵;一種針對基于構(gòu)件的嵌入式實時軟件的測試方法[D];西南大學(xué);2010年

8 王海瑞;基于極值統(tǒng)計的實時軟件WCET估計研究[D];大連理工大學(xué);2007年

9 賈友亮;基于VME的掃描光刻系統(tǒng)嵌入式實時軟件設(shè)計[D];哈爾濱工業(yè)大學(xué);2014年

10 沈嘉權(quán);IF對實時軟件設(shè)計圖形模型的驗證[D];昆明理工大學(xué);2009年

，

本文編號：518494