基于模型驅(qū)動(dòng)的IMA資源安全分配與驗(yàn)證方法研究.pdf

1、資源分配是綜合模塊化航空電子（IMA）系統(tǒng)設(shè)計(jì)的重要環(huán)節(jié)，如何對(duì)航電資源進(jìn)行分配使其滿足系統(tǒng)的一般性需求及安全性需求是整個(gè)飛機(jī)功能正常運(yùn)行的關(guān)鍵。
　　由于分配過程涉及到系統(tǒng)、資源等多個(gè)龐大復(fù)雜結(jié)構(gòu)，且缺少精確地描述，因此資源分配專家不得不花費(fèi)大量精力收集系統(tǒng)結(jié)構(gòu)和平臺(tái)資源信息，多個(gè)結(jié)構(gòu)難以手動(dòng)貫通也為分配方案有效性驗(yàn)證帶來巨大困難。本文使用形式化模型描述包含分配需求、分配結(jié)果在內(nèi)的IMA架構(gòu)，提升了系統(tǒng)設(shè)計(jì)者和IMA集成者之間的

2、對(duì)話，并使得約束提取和結(jié)構(gòu)驗(yàn)證更加自動(dòng)化。此外，民航這一安全攸關(guān)領(lǐng)域?qū)诫娤到y(tǒng)安全性提出了更高要求，而作為航電開發(fā)前的資源分配不僅需要保證航電各個(gè)子系統(tǒng)能夠分配到合適的共享資源，還需要保證功能駐留在IMA后滿足系統(tǒng)安全性需求。為將安全性作為資源分配的一個(gè)重要約束，本文提出了將定性與定量安全性需求結(jié)合考慮的方法。
　　本文提出了基于模型驅(qū)動(dòng)的IMA資源安全分配與驗(yàn)證方法，主要完成了以下工作：
　　首先，研究了基于故障傳播的安全

3、性分析方法，給出了使用AltaRica語言對(duì)系統(tǒng)進(jìn)行故障傳播建模編譯為衛(wèi)式轉(zhuǎn)換系統(tǒng)目標(biāo)模型，進(jìn)而生成故障樹模型并利用工具XFTA給出安全性分析結(jié)果的一套分析流程。
　　其次，研究了IMA平臺(tái)結(jié)構(gòu)和航電系統(tǒng)結(jié)構(gòu)的特點(diǎn)，構(gòu)建了能夠以精確的方式描述系統(tǒng)和平臺(tái)結(jié)構(gòu)的元模型，并使用EMF定義元模型，基于GMF技術(shù)開發(fā)了一套能夠通過拖拽圖元進(jìn)行系統(tǒng)和平臺(tái)建模的工具。
　　最后，根據(jù)待駐留系統(tǒng)對(duì)平臺(tái)結(jié)構(gòu)中共享資源的一般性需求，結(jié)合系統(tǒng)安全