综合模块化航空电子(IMA)系统采用资源共享的系统架构, 在提供更加复杂强大的航电功能的同时也带来了更复杂的故障增殖模式, 针对此问题提出了基于AADL和GSPN的可靠性评估方法。首先采用AADL语言对系统的架构及故障信息进行描述,建立其AADL可靠性模型, 为了进一步分析其故障动态行为, 研究了AADL可靠性模型向GSPN模型转化规则, 通过对GSPN模型的分析来评估IMA系统可靠性。最后以IMA系统显示功能为例进行了可靠性评估, 验证了该方法的有效性, 并且通过实验对比的方式给出了显示功能架构的选择建议。

Integrated Modular Avionics (IMA) system adopts a resource sharing architecture,which provides a more sophisticated and powerful avionics functionality,but also brings a more complex fault proliferation model at the same time.To solve this problem,we proposed a reliability assessment method based on Architecture Analysis and Design Language (AADL) and Generalized Stochastic Petri Nets (GSPN).Firstly,the system′s architecture and fault information were described with AADL language,and its AADL reliability model was established.To further analyze the dynamic behavior of its faults,the rule for transformation from AADL reliability model to GSPN model was studied,and IMA system reliability was assessed by analyzing the GSPN model.Finally,the effectiveness of this method was validated by reliability assessment of the display function of IMA system,and suggestions for selecting the architecture of display function were given via experimental comparison.