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

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

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

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