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

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

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