-
ARINC653實時任務(wù)可調(diào)度性驗證方法：技術(shù)深度解析與實現(xiàn)
在現(xiàn)代航空電子系統(tǒng)中，ARINC653標(biāo)準(zhǔn)扮演著至關(guān)重要的角色。它定義了一個分區(qū)操作系統(tǒng)（Partitioning Operating System, POS）的架構(gòu)，旨在提高系統(tǒng)的模塊化、可靠性和安全性。然而，在綜合模塊化航空電子系統(tǒng)（Integrated Modular Avionics, IMA）中，由于存在周期任務(wù)、非周期任務(wù)以及任務(wù)間的復(fù)雜依賴關(guān)系，傳統(tǒng)方法難以準(zhǔn)確驗證其實時任務(wù)的可調(diào)度性。本文提出了一種基于Stopwatch時間自動機的ARINC653實時任務(wù)可調(diào)度性驗證方法，并結(jié)合統(tǒng)計模型檢驗（Statistical Model Checking, SMC）與符號模型檢驗（Symbolic Model Checking, MC）來驗證IMA系統(tǒng)的可調(diào)度性。
-
嵌入式實時操作系統(tǒng)設(shè)計及應(yīng)用探討
在傳統(tǒng)的嵌入式實時操作系統(tǒng)中，內(nèi)核和應(yīng)用都運行在同一特權(quán)級，應(yīng)用程序可以無限制的訪問整個系統(tǒng)地址空間。因此在某些情況下，應(yīng)用的潛在危險動作會影響其他應(yīng)用和內(nèi)核的
-
嵌入式實時操作系統(tǒng)設(shè)計探討
在傳統(tǒng)的嵌入式實時操作系統(tǒng)中，內(nèi)核和應(yīng)用都運行在同一特權(quán)級，應(yīng)用程序可以無限制的訪問整個系統(tǒng)地址空間。因此在某些情況下，應(yīng)用的潛在危險動作會影響其他應(yīng)用和內(nèi)核的
-
嵌入式實時操作系統(tǒng)設(shè)計探討
嵌入式實時操作系統(tǒng)設(shè)計探討
- Littelfuse應(yīng)用學(xué)習(xí)社第二期：打造更節(jié)能與安全的消費電子電源解決方案
- ADI數(shù)據(jù)中心白皮書搶先看，測試領(lǐng)紅包
- AMD 2026技術(shù)日4月2日登陸北京，21ic邀你來報名
- 《21ic技術(shù)洞察》系列欄目第二期：工業(yè)自動化中的AI視覺系統(tǒng)
- 歐姆龍電子樣品商城小程序來襲，找樣品不用等！現(xiàn)貨供應(yīng)+全場包郵
- Littelfuse應(yīng)用學(xué)習(xí)社第一期：打造更穩(wěn)定與安全的數(shù)據(jù)中心解決方案
- 安富利3kW模擬電源供應(yīng)器（PSU）解決方案開發(fā)板來襲，申請領(lǐng)好禮
