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

  本文關鍵詞：基于模型驅動的IMA資源安全分配與驗證方法研究　出處：《南京航空航天大學》2016年碩士論文　論文類型：學位論文

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

【摘要】：資源分配是綜合模塊化航空電子(IMA)系統(tǒng)設計的重要環(huán)節(jié),如何對航電資源進行分配使其滿足系統(tǒng)的一般性需求及安全性需求是整個飛機功能正常運行的關鍵。由于分配過程涉及到系統(tǒng)、資源等多個龐大復雜結構,且缺少精確地描述,因此資源分配專家不得不花費大量精力收集系統(tǒng)結構和平臺資源信息,多個結構難以手動貫通也為分配方案有效性驗證帶來巨大困難。本文使用形式化模型描述包含分配需求、分配結果在內的IMA架構,提升了系統(tǒng)設計者和IMA集成者之間的對話,并使得約束提取和結構驗證更加自動化。此外,民航這一安全攸關領域對航電系統(tǒng)安全性提出了更高要求,而作為航電開發(fā)前的資源分配不僅需要保證航電各個子系統(tǒng)能夠分配到合適的共享資源,還需要保證功能駐留在IMA后滿足系統(tǒng)安全性需求。為將安全性作為資源分配的一個重要約束,本文提出了將定性與定量安全性需求結合考慮的方法。本文提出了基于模型驅動的IMA資源安全分配與驗證方法,主要完成了以下工作:首先,研究了基于故障傳播的安全性分析方法,給出了使用AltaRica語言對系統(tǒng)進行故障傳播建模編譯為衛(wèi)式轉換系統(tǒng)目標模型,進而生成故障樹模型并利用工具XFTA給出安全性分析結果的一套分析流程。其次,研究了IMA平臺結構和航電系統(tǒng)結構的特點,構建了能夠以精確的方式描述系統(tǒng)和平臺結構的元模型,并使用EMF定義元模型,基于GMF技術開發(fā)了一套能夠通過拖拽圖元進行系統(tǒng)和平臺建模的工具。最后,根據待駐留系統(tǒng)對平臺結構中共享資源的一般性需求,結合系統(tǒng)安全性分析結果得到一系列的分配約束。研究約束求解器ILOG,設計工具能夠將約束自動轉化為OPL文件。利用求解器得到多個滿足約束的分配方案,對候選方案再次進行安全性分析,根據定量安全性需求滿足與否決定是否接受此分配方案。
[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.
【學位授予單位】：南京航空航天大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：V243
，

本文編號：1415894