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

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

【學(xué)位授予單位】：中國(guó)民航大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類(lèi)號(hào)】：V243;TP273
，

本文編號(hào)：1742831