-
ARINC653實時任務可調度性驗證方法：技術深度解析與實現(xiàn)
在現(xiàn)代航空電子系統(tǒng)中，ARINC653標準扮演著至關重要的角色。它定義了一個分區(qū)操作系統(tǒng)（Partitioning Operating System, POS）的架構，旨在提高系統(tǒng)的模塊化、可靠性和安全性。然而，在綜合模塊化航空電子系統(tǒng)（Integrated Modular Avionics, IMA）中，由于存在周期任務、非周期任務以及任務間的復雜依賴關系，傳統(tǒng)方法難以準確驗證其實時任務的可調度性。本文提出了一種基于Stopwatch時間自動機的ARINC653實時任務可調度性驗證方法，并結合統(tǒng)計模型檢驗（Statistical Model Checking, SMC）與符號模型檢驗（Symbolic Model Checking, MC）來驗證IMA系統(tǒng)的可調度性。
-
嵌入式實時操作系統(tǒng)設計及應用探討
在傳統(tǒng)的嵌入式實時操作系統(tǒng)中，內(nèi)核和應用都運行在同一特權級，應用程序可以無限制的訪問整個系統(tǒng)地址空間。因此在某些情況下，應用的潛在危險動作會影響其他應用和內(nèi)核的
-
嵌入式實時操作系統(tǒng)設計探討
在傳統(tǒng)的嵌入式實時操作系統(tǒng)中，內(nèi)核和應用都運行在同一特權級，應用程序可以無限制的訪問整個系統(tǒng)地址空間。因此在某些情況下，應用的潛在危險動作會影響其他應用和內(nèi)核的
-
嵌入式實時操作系統(tǒng)設計探討
嵌入式實時操作系統(tǒng)設計探討
