嵌入式實(shí)時(shí)系統(tǒng)被應(yīng)用到各種安全關(guān)鍵的場(chǎng)景,此類系統(tǒng)通過監(jiān)控物理環(huán)境的變化以及獲取系統(tǒng)自身的反饋信息,實(shí)現(xiàn)自動(dòng)控制過程。實(shí)時(shí)系統(tǒng)不僅要求滿足功能需求,還要滿足嚴(yán)格時(shí)限需求。然而,軟件不確定并發(fā)執(zhí)行以及高性能體系結(jié)構(gòu)帶來系統(tǒng)行為不可預(yù)測(cè)的問題,使得系統(tǒng)驗(yàn)證的復(fù)雜度升高,驗(yàn)證成本增加。因此,時(shí)間可預(yù)測(cè)模型,框架,以及相關(guān)實(shí)現(xiàn)技術(shù)成了目前嵌入式實(shí)時(shí)系統(tǒng)領(lǐng)域的熱點(diǎn)研究課題之一。本文分析了嵌入式實(shí)時(shí)系統(tǒng)時(shí)間行為,構(gòu)建了不同應(yīng)用條件下的時(shí)間可預(yù)測(cè)模型和編程框架,并研究了基于軟硬件結(jié)合技術(shù)的模型實(shí)現(xiàn)優(yōu)化方案,為時(shí)間可預(yù)測(cè)模型的理論和實(shí)踐研究工作提供了有意的參考。具體研究成果如下:(1)研究了嵌入式實(shí)時(shí)系統(tǒng)時(shí)間行為,綜合調(diào)研和分析了現(xiàn)有的時(shí)間模型,總結(jié)了現(xiàn)有時(shí)間模型的特點(diǎn)以及不足,并指出了針對(duì)不同應(yīng)用條件下的問題以及研究點(diǎn),為之后的工作奠定了基礎(chǔ)。(2)總結(jié)了時(shí)間可預(yù)測(cè)性編程模型特征,并分析了該模型在對(duì)復(fù)雜任務(wù)(允許內(nèi)部同步點(diǎn))建模時(shí)的不足,從而提出基于服務(wù)體模型的時(shí)間可預(yù)測(cè)模型。在我們提出的模型中,設(shè)計(jì)實(shí)現(xiàn)合理高效的并發(fā)任務(wù)時(shí)序映射規(guī)則,并基于時(shí)間觸發(fā)機(jī)制實(shí)現(xiàn)運(yùn)行時(shí)系統(tǒng)確保任務(wù)時(shí)序行為與模型定義的時(shí)序... 

【文章來源】：中國(guó)科學(xué)技術(shù)大學(xué)安徽省 211工程院校 985工程院校

【文章頁數(shù)】：159 頁

【學(xué)位級(jí)別】：博士

【部分圖文】：

有界執(zhí)行時(shí)間模型

２．零執(zhí)行時(shí)間模型??零執(zhí)行時(shí)間模型（Ｚｅｒｏ?Ｅｘｅｃｕｔｉｏｎ?Ｔｉｍｅ?Ｍｏｄｅｌ）基于同步假設(shè)實(shí)現(xiàn)，即假??設(shè)任務(wù)的執(zhí)行過程（從輸入到輸出）的執(zhí)行時(shí)間為零，如圖１．２所示。在理論模型??層面，基于零執(zhí)行時(shí)間模型設(shè)計(jì)的并發(fā)任務(wù)由事件觸發(fā)釋放執(zhí)行，且要求滿足同??步假設(shè)。在實(shí)際物理層面，運(yùn)行時(shí)系統(tǒng)將結(jié)合平臺(tái)性能相關(guān)參數(shù)對(duì)系統(tǒng)中并發(fā)任??務(wù)的實(shí)際執(zhí)行時(shí)間進(jìn)行評(píng)估和驗(yàn)證，判斷同步假設(shè)的語義是否得到滿足。在實(shí)際??的系統(tǒng)中，同步假設(shè)的語義滿足的條件將被放寬：事件觸發(fā)的任務(wù)只須在該事件??下次產(chǎn)生之前執(zhí)行完成。在本例子中，每個(gè)邏輯零時(shí)間對(duì)應(yīng)了物理時(shí)間中的１０??個(gè)時(shí)間單位，在下一個(gè)事件到達(dá)之前的所有并發(fā)任務(wù)都能執(zhí)行完成。零執(zhí)行時(shí)間??模型廣泛應(yīng)用于響應(yīng)式系統(tǒng)中

輸出的執(zhí)行時(shí)刻，消除任務(wù)輸入輸出的抖動(dòng)，實(shí)現(xiàn)輸入輸出的時(shí)間可預(yù)測(cè)性�；�??于邏輯執(zhí)行時(shí)間模型實(shí)現(xiàn)的任務(wù)被劃分為三個(gè)獨(dú)立的執(zhí)行階段，包括輸入，計(jì)算??和輸出，如圖１．３所示。從模型層面來看，輸入和輸出須要滿足同步假設(shè)，即輸入??輸出行為必須瞬間執(zhí)行完成，任務(wù)的計(jì)算在輸入和輸出時(shí)刻之間完成。從物理時(shí)??間層面，輸入和輸出執(zhí)行過程允許抖動(dòng)，但必須存在抖動(dòng)上界，且抖動(dòng)上界滿足??系統(tǒng)設(shè)計(jì)需求。任務(wù)的計(jì)算過程可被高優(yōu)先級(jí)任務(wù)搶占，但要求一定在輸出時(shí)刻??６??


本文編號(hào)：2939154