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

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

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

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