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

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