發(fā)布時(shí)間：2018-01-12 20:34

  本文關(guān)鍵詞：基于模型驅(qū)動(dòng)的IMA資源安全分配與驗(yàn)證方法研究　出處：《南京航空航天大學(xué)》2016年碩士論文　論文類(lèi)型：學(xué)位論文

  更多相關(guān)文章： 綜合模塊化航空電子 資源分配 故障傳播 安全性分析 元模型 約束

【摘要】：資源分配是綜合模塊化航空電子(IMA)系統(tǒng)設(shè)計(jì)的重要環(huán)節(jié),如何對(duì)航電資源進(jìn)行分配使其滿足系統(tǒng)的一般性需求及安全性需求是整個(gè)飛機(jī)功能正常運(yùn)行的關(guān)鍵。由于分配過(guò)程涉及到系統(tǒng)、資源等多個(gè)龐大復(fù)雜結(jié)構(gòu),且缺少精確地描述,因此資源分配專(zhuān)家不得不花費(fèi)大量精力收集系統(tǒng)結(jié)構(gòu)和平臺(tái)資源信息,多個(gè)結(jié)構(gòu)難以手動(dòng)貫通也為分配方案有效性驗(yàn)證帶來(lái)巨大困難。本文使用形式化模型描述包含分配需求、分配結(jié)果在內(nèi)的IMA架構(gòu),提升了系統(tǒng)設(shè)計(jì)者和IMA集成者之間的對(duì)話,并使得約束提取和結(jié)構(gòu)驗(yàn)證更加自動(dòng)化。此外,民航這一安全攸關(guān)領(lǐng)域?qū)诫娤到y(tǒng)安全性提出了更高要求,而作為航電開(kāi)發(fā)前的資源分配不僅需要保證航電各個(gè)子系統(tǒng)能夠分配到合適的共享資源,還需要保證功能駐留在IMA后滿足系統(tǒng)安全性需求。為將安全性作為資源分配的一個(gè)重要約束,本文提出了將定性與定量安全性需求結(jié)合考慮的方法。本文提出了基于模型驅(qū)動(dòng)的IMA資源安全分配與驗(yàn)證方法,主要完成了以下工作:首先,研究了基于故障傳播的安全性分析方法,給出了使用AltaRica語(yǔ)言對(duì)系統(tǒng)進(jìn)行故障傳播建模編譯為衛(wèi)式轉(zhuǎn)換系統(tǒng)目標(biāo)模型,進(jìn)而生成故障樹(shù)模型并利用工具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ù)開(kāi)發(fā)了一套能夠通過(guò)拖拽圖元進(jìn)行系統(tǒng)和平臺(tái)建模的工具。最后,根據(jù)待駐留系統(tǒng)對(duì)平臺(tái)結(jié)構(gòu)中共享資源的一般性需求,結(jié)合系統(tǒng)安全性分析結(jié)果得到一系列的分配約束。研究約束求解器ILOG,設(shè)計(jì)工具能夠?qū)⒓s束自動(dòng)轉(zhuǎn)化為OPL文件。利用求解器得到多個(gè)滿足約束的分配方案,對(duì)候選方案再次進(jìn)行安全性分析,根據(jù)定量安全性需求滿足與否決定是否接受此分配方案。
[Abstract]:Resource allocation is an important link in the design of integrated modular avionics IMA system. How to allocate avionics resources to meet the general and safety requirements of the system is the key to the normal operation of the whole aircraft. Because the allocation process involves the system, resources and other large and complex structures. And lack of accurate description, so resource allocation experts have to spend a lot of effort to collect system structure and platform resource information. It is also difficult to verify the validity of the allocation scheme by using a formal model to describe the IMA architecture which includes the allocation requirements and the allocation results. It improves the dialogue between system designers and IMA integrators, and makes constraint extraction and structure verification more automated. In addition, civil aviation, a safety field, puts forward higher requirements for the safety of avionics systems. As the resource allocation before the development of avionics, not only need to ensure that each subsystem of avionics can allocate appropriate shared resources. It is also necessary to ensure that the function resides behind the IMA to meet the security requirements of the system. This paper proposes a method to combine qualitative and quantitative security requirements. A model-driven IMA resource security allocation and verification method is proposed. The main work is as follows: first. The security analysis method based on fault propagation is studied, and the fault propagation modeling of the system is compiled into the target model of the guard conversion system by using AltaRica language. Then the fault tree model is generated and a set of analysis flow of the security analysis results is given by using the tool XFTA. Secondly, the characteristics of the IMA platform structure and avionics system structure are studied. The metamodel which can describe the system and platform structure in a precise way is constructed, and the metamodel is defined with EMF. Based on GMF technology, a set of tools is developed to model the system and platform by dragging and dropping graph elements. Finally, according to the general requirements of the system to share resources in the platform structure. A series of allocation constraints are obtained based on the results of system security analysis. The constraint solver ILOG is studied. The design tool can automatically transform the constraint into OPL file and use the solver to obtain multiple allocation schemes that satisfy the constraints and analyze the security of the candidate scheme again. According to the quantitative security requirements or not to decide whether or not to accept the allocation scheme.
【學(xué)位授予單位】：南京航空航天大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類(lèi)號(hào)】：V243
，

本文編號(hào)：1415894