面向航空電子的分區(qū)內(nèi)核關(guān)鍵技術(shù)研究.pdf

1、傳統(tǒng)架構(gòu)的機載操作系統(tǒng)采用的“亡羊補牢”方法，已不能滿足日益復雜的航空電子系統(tǒng)對機載軟件安全性的要求?；诰迌?nèi)核的系統(tǒng)，由于內(nèi)核功能復雜、結(jié)構(gòu)龐大，無法進行形式化驗證保證系統(tǒng)的安全性。多重獨立安全級別(MILS)架構(gòu)則從預防的角度解決通信安全問題，在實現(xiàn)上采用分區(qū)內(nèi)核。因此，分區(qū)內(nèi)核作為MILS架構(gòu)的基礎，逐漸成為國內(nèi)的研究熱點。本文將圍繞分區(qū)內(nèi)核中的關(guān)鍵技術(shù)展開研究。
　　本文以綜合化航空電子結(jié)構(gòu)的特征為基礎，分析了分布式操作系

2、統(tǒng)的航空和軍事應用環(huán)境、通信狀況、效率、應用需求及其局限性等因素，研究了分布式MILS體系結(jié)構(gòu)的理論模型。設計了“自陷”(TRAP系統(tǒng)調(diào)用)機制和內(nèi)核接口。TRAP系統(tǒng)調(diào)用機制保證了系統(tǒng)調(diào)用的可搶占；內(nèi)核接口滿足了分區(qū)內(nèi)核的功能需求，基本上能夠為上層的開發(fā)提供基礎。設計了動態(tài)分區(qū)調(diào)度算法，并利用此算法實現(xiàn)了分區(qū)的動態(tài)調(diào)度。通過研究分區(qū)間通信機制，提出了一種改進的基于分區(qū)內(nèi)核的共享內(nèi)存模型，保證了消息傳遞的可靠性及高效性。
　　與傳