-
ARINC653實(shí)時(shí)任務(wù)可調(diào)度性驗(yàn)證方法：技術(shù)深度解析與實(shí)現(xiàn)
在現(xiàn)代航空電子系統(tǒng)中，ARINC653標(biāo)準(zhǔn)扮演著至關(guān)重要的角色。它定義了一個(gè)分區(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)確驗(yàn)證其實(shí)時(shí)任務(wù)的可調(diào)度性。本文提出了一種基于Stopwatch時(shí)間自動(dòng)機(jī)的ARINC653實(shí)時(shí)任務(wù)可調(diào)度性驗(yàn)證方法，并結(jié)合統(tǒng)計(jì)模型檢驗(yàn)（Statistical Model Checking, SMC）與符號(hào)模型檢驗(yàn)（Symbolic Model Checking, MC）來(lái)驗(yàn)證IMA系統(tǒng)的可調(diào)度性。
-
嵌入式實(shí)時(shí)操作系統(tǒng)設(shè)計(jì)及應(yīng)用探討
在傳統(tǒng)的嵌入式實(shí)時(shí)操作系統(tǒng)中，內(nèi)核和應(yīng)用都運(yùn)行在同一特權(quán)級(jí)，應(yīng)用程序可以無(wú)限制的訪問(wèn)整個(gè)系統(tǒng)地址空間。因此在某些情況下，應(yīng)用的潛在危險(xiǎn)動(dòng)作會(huì)影響其他應(yīng)用和內(nèi)核的
-
嵌入式實(shí)時(shí)操作系統(tǒng)設(shè)計(jì)探討
在傳統(tǒng)的嵌入式實(shí)時(shí)操作系統(tǒng)中，內(nèi)核和應(yīng)用都運(yùn)行在同一特權(quán)級(jí)，應(yīng)用程序可以無(wú)限制的訪問(wèn)整個(gè)系統(tǒng)地址空間。因此在某些情況下，應(yīng)用的潛在危險(xiǎn)動(dòng)作會(huì)影響其他應(yīng)用和內(nèi)核的
-
嵌入式實(shí)時(shí)操作系統(tǒng)設(shè)計(jì)探討
嵌入式實(shí)時(shí)操作系統(tǒng)設(shè)計(jì)探討
- MAX30134讓血糖監(jiān)測(cè)系統(tǒng)更輕松與舒適，挑戰(zhàn)趣味測(cè)試
- 了解PI門(mén)柵極驅(qū)動(dòng)器，挑戰(zhàn)趣味拼圖游戲
- MPS粉絲團(tuán)招募，邀您解鎖新能源電源“芯”技術(shù)
- 我與貿(mào)澤不得不說(shuō)的秘密——BOM與搜索功能，讓選型和采購(gòu)更絲滑更高效
- 加入Vishay電子學(xué)習(xí)社，優(yōu)質(zhì)資源限時(shí)免費(fèi)放送
- STM32H5系列高性能MCU，卓越性能和高安全性超乎你想象
- 華邦電子與萊迪思聯(lián)合技術(shù)論壇即將來(lái)襲，21ic邀你來(lái)報(bào)名
