基于模型驱动的IMA资源安全分配与验证方法研究

发布时间：2018-01-12 20:34

  本文关键词：基于模型驱动的IMA资源安全分配与验证方法研究　出处：《南京航空航天大学》2016年硕士论文　论文类型：学位论文

  更多相关文章： 综合模块化航空电子 资源分配 故障传播 安全性分析 元模型 约束

【摘要】：资源分配是综合模块化航空电子(IMA)系统设计的重要环节,如何对航电资源进行分配使其满足系统的一般性需求及安全性需求是整个飞机功能正常运行的关键。由于分配过程涉及到系统、资源等多个庞大复杂结构,且缺少精确地描述,因此资源分配专家不得不花费大量精力收集系统结构和平台资源信息,多个结构难以手动贯通也为分配方案有效性验证带来巨大困难。本文使用形式化模型描述包含分配需求、分配结果在内的IMA架构,提升了系统设计者和IMA集成者之间的对话,并使得约束提取和结构验证更加自动化。此外,民航这一安全攸关领域对航电系统安全性提出了更高要求,而作为航电开发前的资源分配不仅需要保证航电各个子系统能够分配到合适的共享资源,还需要保证功能驻留在IMA后满足系统安全性需求。为将安全性作为资源分配的一个重要约束,本文提出了将定性与定量安全性需求结合考虑的方法。本文提出了基于模型驱动的IMA资源安全分配与验证方法,主要完成了以下工作:首先,研究了基于故障传播的安全性分析方法,给出了使用AltaRica语言对系统进行故障传播建模编译为卫式转换系统目标模型,进而生成故障树模型并利用工具XFTA给出安全性分析结果的一套分析流程。其次,研究了IMA平台结构和航电系统结构的特点,构建了能够以精确的方式描述系统和平台结构的元模型,并使用EMF定义元模型,基于GMF技术开发了一套能够通过拖拽图元进行系统和平台建模的工具。最后,根据待驻留系统对平台结构中共享资源的一般性需求,结合系统安全性分析结果得到一系列的分配约束。研究约束求解器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