搶占式調度問題的PPTA模型與驗證方法

軟件學報頁數： 22 2023-09-07

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

開通會員，享受整站包年服務

說明：本文檔由創作者上傳發布，版權歸屬創作者。若內容存在侵權，請點擊申訴舉報

科技文檔

數學力學化學金融證券保險投資會計審計園藝林業旅游體育物理學生物學天文學氣象學海洋學地質學新能源金屬學農藝學農作物管理學領導學自然科學系統科學資源科學無機化工有機化工燃料化工化學工業材料科學礦業工程冶金工業安全科學環境科學工業通用機械工業無線電子電信技術鐵路運輸汽車工業船舶工業動力工程電力工業農業科學農業工程植物保護動物醫學教育理論學前教育初等教育中等教育高等教育職業教育成人教育自然地理地球物理經濟統計農業經濟工業經濟交通經濟企業經濟文化經濟信息經濟貿易經濟財政稅收市場研究科學研究互聯網自動化輕工業核科學服務業石油然氣服務業野生動物水產漁業硬件儀器儀表航空航天武器軍事公路運輸水利水電建筑科學軟件