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

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

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

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

1 張晶;張?jiān)粕?;基于模型的分布式實(shí)時(shí)軟件協(xié)作開(kāi)發(fā)平臺(tái)[A];全國(guó)煉鋼連鑄過(guò)程自動(dòng)化技術(shù)交流會(huì)論文集[C];2006年

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

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

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

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前2條

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

2 本報(bào)記者 周波;川大智勝打造“最�？罩薪痪盵N];成都日?qǐng)?bào);2014年

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

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

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

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

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

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

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

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

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

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

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

，

本文編號(hào)：518494