1、隨著實時系統(tǒng)在各領(lǐng)域的廣泛應(yīng)用，任務(wù)調(diào)度技術(shù)在實時系統(tǒng)中扮演的角色越來越關(guān)鍵。針對實時系統(tǒng)多任務(wù)、多處理器和具有復(fù)雜優(yōu)先約束等特點，論文在傳統(tǒng)任務(wù)調(diào)度理論的基礎(chǔ)上，重點研究了當(dāng)代任務(wù)調(diào)度技術(shù)的新理論和新方法，特別是對不同環(huán)境和條件下的任務(wù)系統(tǒng)可調(diào)度性分析方法和調(diào)度算法進(jìn)行了深入研究。本文研究工作主要集中在以下幾個方面：針對速率單調(diào)分析技術(shù)在系統(tǒng)設(shè)計建模階段缺乏對任務(wù)間優(yōu)先約束關(guān)系及多處理器環(huán)境的考慮，提出基于可搶占時間Petri網(wǎng)的任務(wù)

2、建模與檢測方法。通過狀態(tài)空間枚舉和暫停變遷的概念，對具有優(yōu)先約束的任務(wù)集在多處理器環(huán)境下進(jìn)行建模與檢測，并用仿真實例說明該方法在多處理器可搶占條件下，能夠快速量化分析具有復(fù)雜屬性的實時任務(wù)集合。針對周期任務(wù)的可調(diào)度性判定問題，提出基于累積時間需求的任務(wù)可調(diào)度性分析方法和一種改進(jìn)的搶占閾值任務(wù)響應(yīng)時間分析方法。在對任務(wù)繁忙區(qū)的分析中，加入對任務(wù)釋放抖動所需的額外響應(yīng)時間的計算，提高了周期任務(wù)可調(diào)度性測試的精確性，解決了周期任務(wù)缺少通用可調(diào)

3、度性分析方法的問題。針對優(yōu)先級驅(qū)動的任務(wù)調(diào)度過程中可能出現(xiàn)的非受控優(yōu)先級逆轉(zhuǎn)問題，提出一種基于搶占閾值理論的新型防范方法。在搶占閾值下重新定義了優(yōu)先級逆轉(zhuǎn)問題以及優(yōu)先級繼承協(xié)議和優(yōu)先級限頂協(xié)議，通過加入有效優(yōu)先級等概念，有效減少了任務(wù)搶占，避免發(fā)生優(yōu)先級逆轉(zhuǎn)現(xiàn)象。針對任務(wù)具有優(yōu)先約束的情況，研究了與或優(yōu)先約束任務(wù)的調(diào)度算法?；诜蔷_模型強制任務(wù)概念，提出一種改進(jìn)的頂點刪除算法，解決了此類任務(wù)調(diào)度完成時間最小化問題。同時還提出一種與或優(yōu)