搶占式調(diào)度問題的PPTA模型與驗(yàn)證方法

摘要： 優(yōu)先級(jí)用于解決諸如在資源共享和安全設(shè)計(jì)等方面的沖突,已經(jīng)成為實(shí)時(shí)系統(tǒng)設(shè)計(jì)中不可或缺的一部分.對(duì)于引入優(yōu)先級(jí)的實(shí)時(shí)系統(tǒng),每個(gè)任務(wù)都會(huì)被分配優(yōu)先級(jí),這就導(dǎo)致低優(yōu)先級(jí)的任務(wù)在運(yùn)行時(shí)可能會(huì)被高優(yōu)先級(jí)的任務(wù)搶占資源,進(jìn)而給實(shí)時(shí)系統(tǒng)帶來?yè)屨际秸{(diào)度問題.現(xiàn)有研究,缺乏一種可以直觀表示任務(wù)的優(yōu)先級(jí)以及任務(wù)之間的依賴關(guān)系的建模及自動(dòng)驗(yàn)證方法.為此,提出搶占式優(yōu)先級(jí)時(shí)間自動(dòng)機(jī)(PPTA)并引入搶占... （共22頁(yè)）