發(fā)布時(shí)間：2021-03-19 17:25

　　隨著嵌入式實(shí)時(shí)系統(tǒng)應(yīng)用需求的不斷增加,實(shí)時(shí)系統(tǒng)需要完成的功能越來(lái)越多,使得實(shí)時(shí)系統(tǒng)設(shè)計(jì)的復(fù)雜性也越來(lái)越大。在實(shí)時(shí)系統(tǒng)的特性中,實(shí)時(shí)性、穩(wěn)定性、以及可靠性是其中最重要的幾個(gè)特性,是衡量實(shí)時(shí)系統(tǒng)可用性的重要標(biāo)準(zhǔn),而且在不同的應(yīng)用領(lǐng)域,對(duì)這幾個(gè)特性的要求的嚴(yán)格程度也不盡相同。尤其是在核研究、航空航天、軍事等關(guān)鍵科技領(lǐng)域,對(duì)實(shí)時(shí)系統(tǒng)這幾個(gè)特性的要求更嚴(yán)格。為了使得設(shè)計(jì)出的系統(tǒng)達(dá)到這樣的要求,需要在系統(tǒng)設(shè)計(jì)階段精確掌握系統(tǒng)中時(shí)間和資源使用狀況,通過(guò)對(duì)實(shí)時(shí)系統(tǒng)建模,并對(duì)模型的可調(diào)度性進(jìn)行分析的方式可以很好滿足這樣的需求。但是模型的建立和驗(yàn)證以及可調(diào)度性分析是一個(gè)復(fù)雜的過(guò)程,因而自動(dòng)化的實(shí)時(shí)系統(tǒng)建模和可調(diào)度性分析工具的開(kāi)發(fā)具有必要性,這也是本論文研究的目的所在。在本文中,首先通過(guò)對(duì)普通實(shí)時(shí)系統(tǒng)、基于ARINC653規(guī)范的分區(qū)實(shí)時(shí)系統(tǒng)、多處理器復(fù)雜實(shí)時(shí)系統(tǒng)三類實(shí)時(shí)系統(tǒng)的深入研究,完成三類實(shí)時(shí)系統(tǒng)的任務(wù)調(diào)度模型結(jié)構(gòu)的設(shè)計(jì)。主要包括對(duì)普通實(shí)時(shí)系統(tǒng)的硬件結(jié)構(gòu)、軟件系統(tǒng)的任務(wù)結(jié)構(gòu)設(shè)計(jì)、任務(wù)調(diào)度運(yùn)行過(guò)程的研究,以及對(duì)ARINC653規(guī)范中的時(shí)空分區(qū)機(jī)制和兩級(jí)調(diào)度機(jī)制的研究。其次,基于三類實(shí)時(shí)系統(tǒng)的任務(wù)調(diào)度模型的... 

【文章來(lái)源】：電子科技大學(xué)四川省 211工程院校 985工程院校 教育部直屬院校

【文章頁(yè)數(shù)】：92 頁(yè)

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

【文章目錄】：
摘要
abstract
第一章 緒論
    1.1 研究背景和意義
    1.2 國(guó)內(nèi)外的研究現(xiàn)狀
    1.3 論文主要工作
    1.4 論文章節(jié)安排
第二章 相關(guān)技術(shù)介紹
    2.1 實(shí)時(shí)系統(tǒng)介紹
    2.2 三類實(shí)時(shí)系統(tǒng)介紹
    2.3 實(shí)時(shí)系統(tǒng)調(diào)度策略
    2.4 開(kāi)發(fā)技術(shù)
第三章 項(xiàng)目需求分析和總體設(shè)計(jì)
    3.1 需求分析
        3.1.1 項(xiàng)目描述
        3.1.2 調(diào)度模型需求分析
        3.1.3 工具需求分析
    3.2 總體設(shè)計(jì)
        3.2.1 功能模塊設(shè)計(jì)
        3.2.2 工具總體架構(gòu)
    3.3 本章小結(jié)
第四章 調(diào)度模型和可調(diào)度性分析算法設(shè)計(jì)
    4.1 任務(wù)調(diào)度模型實(shí)例分析
        4.1.1 周期性任務(wù)集合特性分析
        4.1.2 可搶占和不可搶占調(diào)度模型分析
        4.1.3 基于時(shí)間事件的調(diào)度模型分析
    4.2 普通實(shí)時(shí)系統(tǒng)
        4.2.1 任務(wù)調(diào)度模型設(shè)計(jì)
        4.2.2 任務(wù)有限狀態(tài)機(jī)狀態(tài)遷移條件分析
        4.2.3 模型可調(diào)度性分析算法設(shè)計(jì)
    4.3 ARINC653分區(qū)實(shí)時(shí)系統(tǒng)
        4.3.1 任務(wù)調(diào)度模型設(shè)計(jì)
        4.3.2 分區(qū)級(jí)可調(diào)度性分析算法的設(shè)計(jì)
        4.3.3 任務(wù)級(jí)可調(diào)度性分析算法的設(shè)計(jì)
    4.4 多處理器復(fù)雜實(shí)時(shí)系統(tǒng)
        4.4.1 任務(wù)調(diào)度模型設(shè)計(jì)
        4.4.2 模型可調(diào)度性分析算法設(shè)計(jì)
    4.5 本章小結(jié)
第五章 可調(diào)度性分析工具的詳細(xì)設(shè)計(jì)與實(shí)現(xiàn)
    5.1 模型可視化創(chuàng)建模塊的設(shè)計(jì)與實(shí)現(xiàn)
        5.1.1 調(diào)度模型的實(shí)現(xiàn)
        5.1.2 調(diào)度模型樹(shù)的設(shè)計(jì)和實(shí)現(xiàn)
        5.1.3 模型節(jié)點(diǎn)可視化編輯的設(shè)計(jì)和實(shí)現(xiàn)
    5.2 可調(diào)度性分析模塊的實(shí)現(xiàn)
        5.2.1 可調(diào)度性分析算法的實(shí)現(xiàn)
        5.2.2 基于多線程的并發(fā)可調(diào)度性分析的設(shè)計(jì)與實(shí)現(xiàn)
    5.3 調(diào)度結(jié)果展示和甘特圖仿真模塊的設(shè)計(jì)和實(shí)現(xiàn)
        5.3.1 調(diào)度分析結(jié)果表格展示的設(shè)計(jì)和實(shí)現(xiàn)
        5.3.2 甘特圖仿真模塊的設(shè)計(jì)和實(shí)現(xiàn)
    5.4 基于XML格式的模型數(shù)據(jù)文件的導(dǎo)入導(dǎo)出的設(shè)計(jì)和實(shí)現(xiàn)
    5.5 工具國(guó)際化支持的設(shè)計(jì)和實(shí)現(xiàn)
    5.6 本章小結(jié)
第六章 實(shí)例測(cè)試和分析
    6.1 測(cè)試環(huán)境
    6.2 測(cè)試內(nèi)容和測(cè)試目標(biāo)
    6.3 普通實(shí)時(shí)系統(tǒng)實(shí)例測(cè)試和分析
        6.3.1 基于搶占的靜態(tài)調(diào)度策略的實(shí)例測(cè)試
        6.3.2 基于搶占的動(dòng)態(tài)調(diào)度策略的實(shí)例測(cè)試
        6.3.3 基于不可搶占的靜態(tài)調(diào)度策略的實(shí)例測(cè)試
        6.3.4 基于不可搶占的動(dòng)態(tài)調(diào)度策略的實(shí)例測(cè)試
        6.3.5 實(shí)驗(yàn)結(jié)果分析
    6.4 分區(qū)實(shí)時(shí)系統(tǒng)實(shí)例測(cè)試和分析
        6.4.1 分區(qū)級(jí)可調(diào)度性測(cè)試
        6.4.2 分區(qū)任務(wù)級(jí)可調(diào)度性測(cè)試
        6.4.3 實(shí)驗(yàn)結(jié)果分析
    6.5 多處理器復(fù)雜實(shí)時(shí)系統(tǒng)實(shí)例測(cè)試和分析
    6.6 本章小結(jié)
第七章 總結(jié)和展望
    7.1 總結(jié)
    7.2 展望
致謝
參考文獻(xiàn)


【參考文獻(xiàn)】：
期刊論文
[1]ARINC 653分區(qū)實(shí)時(shí)系統(tǒng)的主時(shí)間框架設(shè)計(jì)[J]. 譚龍華,杜承烈.  北京航空航天大學(xué)學(xué)報(bào). 2016(11)
[2]ARINC653分區(qū)實(shí)時(shí)系統(tǒng)的可調(diào)度分析[J]. 譚龍華,杜承烈,雷鑫.  航空學(xué)報(bào). 2015(11)
[3]實(shí)時(shí)系統(tǒng)調(diào)度算法綜述[J]. 邱相存,臧洌,楊丹,董國(guó)良.  計(jì)算機(jī)與數(shù)字工程. 2014(12)
[4]帶數(shù)據(jù)約束實(shí)時(shí)系統(tǒng)的模型檢測(cè)[J]. 倪水妹,曹子寧,李心磊.  計(jì)算機(jī)科學(xué). 2014(05)
[5]基于分區(qū)的航電系統(tǒng)調(diào)度分析工具實(shí)現(xiàn)[J]. 張永悅,云利軍,孫瑜.  計(jì)算機(jī)工程. 2014(04)
[6]復(fù)雜實(shí)時(shí)系統(tǒng)可調(diào)度性判定工具的研究與實(shí)現(xiàn)[J]. 張永悅,孫瑜,李允,徐建華.  計(jì)算機(jī)工程. 2013(01)
[7]基于負(fù)載計(jì)算的多處理器全局EDF判定方法[J]. 袁野,晏立.  計(jì)算機(jī)工程. 2012(12)
[8]多處理器固定優(yōu)先級(jí)算法的可調(diào)度性分析[J]. 白露,晏立.  計(jì)算機(jī)應(yīng)用. 2012(03)
[9]非搶占式EDF算法下周期性任務(wù)的最小相對(duì)截止期計(jì)算[J]. 檀明,魏臻,韓江洪.  計(jì)算機(jī)應(yīng)用研究. 2012(02)
[10]ARINC653分區(qū)調(diào)度算法的研究與改進(jìn)[J]. 喬乃強(qiáng),徐濤,谷青范.  計(jì)算機(jī)工程. 2011(20)

博士論文
[1]多處理器硬實(shí)時(shí)系統(tǒng)的調(diào)度算法研究[D]. 彭浩.合肥工業(yè)大學(xué) 2015

碩士論文
[1]基于Uppaal的多處理器實(shí)時(shí)系統(tǒng)的可調(diào)度性分析[D]. 余飛.上海交通大學(xué) 2011



本文編號(hào)：3089936