本文選題：航空電子 + 構(gòu)型控制系統(tǒng)�。� 參考：《中國民航大學》2016年碩士論文

【摘要】：航電設備的功能驗證和新功能航電系統(tǒng)的升級改裝方案驗證是民航維修領域的關鍵問題之一。目前,為了解決上述問題,需要針對不同機型,在系統(tǒng)級層面更改硬件的電氣線路,這種方法不僅工作效率極低,而且成本較高、故障頻發(fā)。因此,對航電構(gòu)型控制系統(tǒng)的研究,即系統(tǒng)級維修平臺根據(jù)航電系統(tǒng)的不同構(gòu)型實現(xiàn)可靠轉(zhuǎn)換成為一個非常重要的研究課題。為保證航電構(gòu)型控制系統(tǒng)在航電設備仿真驗證過程中能夠穩(wěn)定可靠的運行,必須保證系統(tǒng)具有良好的測試性。測試性是系統(tǒng)的一種設計特性,基于模型的測試性分析可以定性與定量的評估一個系統(tǒng)的測試性設計。AADL(Architecture Analysis and Design Language,結(jié)構(gòu)化分析設計語言)建模語言,既可以形式化的描述系統(tǒng)架構(gòu),同時可滿足航電系統(tǒng)的實時性要求,對系統(tǒng)的非功能屬性有較強的描述能力。因此本文基于AADL語言重點研究航電構(gòu)型控制系統(tǒng)的測試性建模方法。主要研究內(nèi)容如下:首先,研究了航電構(gòu)型控制系統(tǒng)的架構(gòu)組成,剖析了航電構(gòu)型控制系統(tǒng)的工作原理,對組成系統(tǒng)架構(gòu)的各部件功能進行了研究。其次,對AADL語言的語意及其建模方法進行了研究,將航電構(gòu)型控制系統(tǒng)的架構(gòu)設置為軟件與硬件,并將其映射為相應的AADL組件,利用AADL的語意描述組件之間的交互,建立航電構(gòu)型控制系統(tǒng)的測試性模型。最后,基于航電構(gòu)型控制系統(tǒng)的AADL模型中的系統(tǒng)流理論,分析系統(tǒng)中的故障傳播狀態(tài),并根據(jù)系統(tǒng)中的故障特征設置相應的測試。在此基礎上,對故障與測試之間相關關系進行分析,生成系統(tǒng)的故障-測試相關矩陣。并利用生成的相關矩陣分析航電構(gòu)型控制系統(tǒng)的測試性。由分析驗證結(jié)果可知,本文所提出的方法可行性好,能夠滿足航電構(gòu)型控制系統(tǒng)功能與非功能屬性的測試及驗證要求。
[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