关键词：综合化模块化航电系统 故障传播 模型转化 安全性分析 

摘要：针对综合模块化航电系统(Integrated Modular Avionics,IMA)高度集成带来的故障传播问题,提出了基于AADL和HiP-HOPS的安全性分析方法。采用AADL语言对系统的架构及故障信息进行描述,建立其AADL体系结构模型。为了进一步对其进行安全性分析,提出了AADL模型向HiP-HOPS模型转化。利用HiP-HOPS可生成故障树和进行IF-FMEA组合失效分析,对IMA飞行规划系统故障传播进行安全性可靠性分析。实现了模型重用,减少了出错率,解决了IMA系统故障传播建模困难的问题。

航空计算技术杂志要求:

{1}多次引用同一著者的同一种文献，则使用首次出现的序号，并在序号的［］外直接著录引文页码（不加括号或P）。

{2}本刊将在收稿后1个月内给作者答复是否录用，对不采用的稿件不予退回，请自留底稿。

{3}中文标题一般不超过20字，正文层次标题应简短明确，可不编号；如需编号，各层次一律用大写数字连续编号，依次为：一、（一）、1、（1）等。

{4}摘要最好用叙述性语言阐明全文的观点、论据和结论，既要精炼又要言之有物，尽量不要空泛地概括全篇内容；忌用第一人称；字数为150－200字。关键词3－8个。

{5}论文如系资助项目，在文末说明。多个资助来源的，只选一项。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社