基于AADL和HiP-HOPS的IMA系统安全性分析方法研究 |
| |
引用本文: | 杨海云,孙有朝,阮宏泽.基于AADL和HiP-HOPS的IMA系统安全性分析方法研究[J].航空计算技术,2019,49(6). |
| |
作者姓名: | 杨海云 孙有朝 阮宏泽 |
| |
作者单位: | 南京航空航天大学 民航学院,江苏 南京,210016;中国商用飞机有限责任公司 上海飞机设计研究院,上海,201210 |
| |
基金项目: | 国家自然科学基金;国防基础科研项目;国防科工局技术基础科研项目;上海民用飞机健康监控工程技术研究中心开放课题基金项目;江苏省自然科学基金青年项目 |
| |
摘 要: |
|
关 键 词: | 综合化模块化航电系统 故障传播 模型转化 HiP-HOPS 安全性分析 |
本文献已被 万方数据 等数据库收录! |
|