| 基于AADL和GSPN的安全关键系统的研究 |
| |
| 引用本文： | 杨海云,孙有朝,阮宏泽,皇甫齐君.基于AADL和GSPN的安全关键系统的研究[J].航空计算技术,2020,50(5):18-22. |
| |
| 作者姓名： | 杨海云 孙有朝 阮宏泽 皇甫齐君 |
| |
| 作者单位： | 南京航空航天大学 民航学院,江苏 南京210016,南京航空航天大学 民航学院,江苏 南京210016,中国商用飞机有限责任公司 上海飞机设计研究院,上海201210,南京国睿信维软件有限公司,江苏 南京210013 |
| |
| 基金项目： | 国防基础科研项目;江苏省自然科学基金青年项目;国防科工局技术基础科研项目;上海民用飞机健康监控工程技术研究中心开放课题;国家自然科学基金 |
| |
| 摘 要： |
|
| 关 键 词： | AADL GSPN 故障传播 组合故障 安全性分析 |
Research on Safety-critical System Based on AADL and GSPN |
| |
| YANG Hai-yun,SUN You-chao,RUAN Hong-ze,HUANGFU Qi-jun.Research on Safety-critical System Based on AADL and GSPN[J].Aeronautical Computer Technique,2020,50(5):18-22. |
| |
| Authors: | YANG Hai-yun SUN You-chao RUAN Hong-ze HUANGFU Qi-jun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
