基于STPA-Bayes模型的机载平视显示系统安全性分析与评价

V37; 机载平视显示(head-up display,HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术.构建低能见度下飞机使用HUD系统进行特殊工Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analysis,STPA)方法识别该场景下潜在的不安全控制行为,通过严格的形式化语言对其进行验证与致因分析,并给出了包含21条通用因素的致因场景分析框架.同时,为弥补STPA方法缺少定量分析的缺点,引入贝叶斯网络计算不安全控制行为发生概率,提出了STPA-Bayes安全性分析与评价模型.结果 表明,该方法能有效地识别并分...

Full description

Saved in:
Bibliographic Details
Published in系统工程与电子技术 Vol. 42; no. 5; pp. 1083 - 1092
Main Authors 赵长啸, 李浩, 董磊, 王鹏
Format Journal Article
LanguageChinese
Published 中国民航大学中欧航空工程师学院,天津300300%中国民航大学适航学院,天津300300 01.05.2020
中国民航大学适航学院,天津300300
民航航空器适航审定技术重点实验室,天津300300
中航工业洛阳电光设备研究所光电控制技术重点实验室,河南洛阳471000%中国民航大学适航学院,天津300300
Subjects
安全性分析
形式化验证
平视显示系统
系统理论过程分析
贝叶斯网络
Online AccessGet full text
ISSN1001-506X
DOI10.3969/j.issn.1001-506X.2020.05.15

Cover

More Information
Summary:V37; 机载平视显示(head-up display,HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术.构建低能见度下飞机使用HUD系统进行特殊工Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analysis,STPA)方法识别该场景下潜在的不安全控制行为,通过严格的形式化语言对其进行验证与致因分析,并给出了包含21条通用因素的致因场景分析框架.同时,为弥补STPA方法缺少定量分析的缺点,引入贝叶斯网络计算不安全控制行为发生概率,提出了STPA-Bayes安全性分析与评价模型.结果 表明,该方法能有效地识别并分析系统潜在的危险,减少人为因素对分析结果的影响,为机载显示系统的安全性分析提供支持.
ISSN:1001-506X
DOI:10.3969/j.issn.1001-506X.2020.05.15