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

• 作者: 孙有朝 杨海云 阮宏泽
• 来源期刊: 航空计算技术
• 关键词: 综合化模块化航电系统 故障传播 模型转化 HiP-HOPS 安全性分析
• 年，卷（期）: 2019,（6）
• 所属期刊栏目: 计算机应用
• 页码范围: 85-88
• 页数: 4页
• 分类号: V37
• 语种: 中文
• DOI: 10.3969/j.issn.1671-654X.2019.06.020

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙有朝	南京航空航天大学民航学院	121	560	11.0	18.0
2	杨海云	南京航空航天大学民航学院	1	0	0.0	0.0
3	阮宏泽	中国商用飞机有限责任公司上海飞机设计研究院	1	0	0.0	0.0