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

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