基于AADL和HiP-HOPS的IMA系统安全性分析方法研究

摘要

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