基于AADL的航电构型控制系统测试性建模方法研究

发布时间：2018-04-13 04:04

  本文选题：航空电子 + 构型控制系统　； 参考：《中国民航大学》2016年硕士论文

【摘要】：航电设备的功能验证和新功能航电系统的升级改装方案验证是民航维修领域的关键问题之一。目前,为了解决上述问题,需要针对不同机型,在系统级层面更改硬件的电气线路,这种方法不仅工作效率极低,而且成本较高、故障频发。因此,对航电构型控制系统的研究,即系统级维修平台根据航电系统的不同构型实现可靠转换成为一个非常重要的研究课题。为保证航电构型控制系统在航电设备仿真验证过程中能够稳定可靠的运行,必须保证系统具有良好的测试性。测试性是系统的一种设计特性,基于模型的测试性分析可以定性与定量的评估一个系统的测试性设计。AADL(Architecture Analysis and Design Language,结构化分析设计语言)建模语言,既可以形式化的描述系统架构,同时可满足航电系统的实时性要求,对系统的非功能属性有较强的描述能力。因此本文基于AADL语言重点研究航电构型控制系统的测试性建模方法。主要研究内容如下:首先,研究了航电构型控制系统的架构组成,剖析了航电构型控制系统的工作原理,对组成系统架构的各部件功能进行了研究。其次,对AADL语言的语意及其建模方法进行了研究,将航电构型控制系统的架构设置为软件与硬件,并将其映射为相应的AADL组件,利用AADL的语意描述组件之间的交互,建立航电构型控制系统的测试性模型。最后,基于航电构型控制系统的AADL模型中的系统流理论,分析系统中的故障传播状态,并根据系统中的故障特征设置相应的测试。在此基础上,对故障与测试之间相关关系进行分析,生成系统的故障-测试相关矩阵。并利用生成的相关矩阵分析航电构型控制系统的测试性。由分析验证结果可知,本文所提出的方法可行性好,能够满足航电构型控制系统功能与非功能属性的测试及验证要求。
[Abstract]:Avionics verification and new avionics system upgrade program verification is one of the key issues in the field of civil aviation maintenance. At present, in order to solve the above problems, the need for different models, electrical lines change hardware in the system level, this method is not only the work efficiency is very low, and high cost, frequent accidents. Therefore, the research on Avionics configuration control system, namely the maintenance platform system according to the different configuration of avionics system to achieve reliable conversion has become a very important research topic. In order to ensure the avionics configuration control system can run steadily and reliably in the avionics simulation verification process, to ensure that the system has good test. Testing is a design characteristic of the system, the design of test.AADL test model analysis of qualitative and quantitative evaluation can be a system based on Architecture (Analysis And Design Language, structured analysis and design language) modeling language, which can describe the system architecture, and can meet the real-time requirement of avionics system, has a strong ability to describe the non functional properties of the system. So this paper test method of modeling language AADL focuses on Avionics configuration control system based on the main research. The contents are as follows: firstly, the avionics configuration control system architecture research, analyzes the working principle of avionics configuration control system, the function of each part of the composition of the system architecture is studied. Secondly, the semantics of AADL language and its modeling methods are studied, the avionics configuration control system architecture is set to the software and hardware, and mapped into the corresponding AADL component, using AADL semantic description of the interaction between components, testing model of avionics configuration control system. Finally, based on the air AADL model electric configuration control system in flow theory, fault propagation state analysis system, and according to the characteristics of fault system by setting the corresponding test. On this basis, analysis of the related relationship between fault and fault - test generation system test matrix. And analyze the test of avionics configuration control the system using the correlation matrix generation. By analysis of test results, the method proposed in this paper is feasible and can satisfy the avionics test and verify the configuration of control system functional and non functional properties.

【学位授予单位】：中国民航大学
【学位级别】：硕士
【学位授予年份】：2016
【分类号】：V243;TP273
，

本文编号：1742831