任務(wù)最壞執(zhí)行時(shí)間分析與任務(wù)調(diào)度檢測仿真工具的實(shí)現(xiàn).pdf

1、隨著社會(huì)的發(fā)展，計(jì)算機(jī)的應(yīng)用已經(jīng)滲透到了人們經(jīng)濟(jì)生活中的各個(gè)方面，特別是嵌入式系統(tǒng)的應(yīng)用正在不斷的從軍工設(shè)備向企業(yè)設(shè)備以及普通的家用設(shè)備轉(zhuǎn)移。這種發(fā)展趨勢使得嵌入式軟件的復(fù)雜度以及規(guī)模都在不斷增長，從而導(dǎo)致了開發(fā)時(shí)間和費(fèi)用的不斷增長，尋找到一種新的能夠提高開發(fā)效率的嵌入式軟件開發(fā)模式是當(dāng)前研究的重點(diǎn)。由于在嵌入式軟件開發(fā)中的絕大部分錯(cuò)誤是在需求分析的早期階段引入的，這些錯(cuò)誤將隨著開發(fā)的深入逐漸放大，而且這些錯(cuò)誤發(fā)現(xiàn)得越晚，對(duì)其進(jìn)行修改所

2、需付出的代價(jià)也越大。所以在嵌入式軟件開發(fā)的早期階段就發(fā)現(xiàn)問題，對(duì)于節(jié)省嵌入式軟件開發(fā)時(shí)間起著至關(guān)重要的作用。
　　本文致力于在嵌入式實(shí)時(shí)系統(tǒng)開發(fā)的早期階段，檢測系統(tǒng)內(nèi)任務(wù)模型的可調(diào)度性。為了檢測嵌入式實(shí)時(shí)系統(tǒng)內(nèi)任務(wù)模型的可調(diào)度性，首先應(yīng)該得到任務(wù)的最壞執(zhí)行時(shí)間信息，只有在得到任務(wù)最壞執(zhí)行時(shí)間前提下，才能分析任務(wù)的可調(diào)度性。所以在本文的前一部分，重點(diǎn)討論了如何采用靜態(tài)分析的方法來計(jì)算任務(wù)的最壞執(zhí)行時(shí)間（WCET）。采用此方法可以避免

3、傳統(tǒng)動(dòng)態(tài)測量方法的各種弊端，如消耗時(shí)間長，結(jié)果不準(zhǔn)確等，使得到的結(jié)果更加安全和準(zhǔn)確。在得到任務(wù)的最壞執(zhí)行時(shí)間后，就可以開展對(duì)任務(wù)的可調(diào)度性檢測工作了，在論文的后半部分，詳細(xì)介紹了一款嵌入式任務(wù)調(diào)度檢測仿真工具（SCST）的使用以及開發(fā)過程。該工具可以對(duì)嵌入式系統(tǒng)模型進(jìn)行比較準(zhǔn)確和快速的可調(diào)度性檢測，而且能夠以甘特圖的形式對(duì)系統(tǒng)內(nèi)任務(wù)的執(zhí)行過程進(jìn)行仿真。本人在工具開發(fā)過程中主要負(fù)責(zé)系統(tǒng)模型和任務(wù)模型的建立以及調(diào)度算法的設(shè)計(jì)。最后采用靜態(tài)分