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

论文摘要

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

论文目录

• 引言
• 1 研究方法
•   1.1 AADL语言
•   1.2 HiP- HOPS方法
• 2 AADL模型到HiP- HOPS模型转化评估
•   2.1 AADL模型到HiP- HOPS模型语义映射
•   2.2 AADL错误模型到HiP- HOPS失效表达式
• 3 实例验证
•   3.1 创建AADL错误模型
•   3.2 可靠性安全性分析
• 4 结论

文章来源

类型: 期刊论文

作者: 杨海云,孙有朝,阮宏泽

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

来源: 航空计算技术 2019年06期

年度: 2019

分类: 信息科技,工程科技Ⅱ辑

专业: 航空航天科学与工程

单位: 南京航空航天大学民航学院,中国商用飞机有限责任公司上海飞机设计研究院

基金: 国家自然科学基金与中国民航基金联合项目资助(U1333119),国防基础科研计划项目资助(JCKY2013605B002),国防科工局技术基础科研项目资助(Z052013B003),上海民用飞机健康监控工程技术研究中心开放课题基金项目资助(GCZX-2015-05),江苏省自然科学青年基金项目资助(BK20140813)

分类号: V267

页码: 85-88

总页数: 4

文件大小: 120K

下载量: 71