摘要
机载平视显示(head-up display,HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术。构建低能见度下飞机使用HUD系统进行特殊Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analysis,STPA)方法识别该场景下潜在的不安全控制行为,通过严格的形式化语言对其进行验证与致因分析,并给出了包含21条通用因素的致因场景分析框架。同时,为弥补STPA方法缺少定量分析的缺点,引入贝叶斯网络计算不安全控制行为发生概率,提出了STPA-Bayes安全性分析与评价模型。结果表明,该方法能有效地识别并分析系统潜在的危险,减少人为因素对分析结果的影响,为机载显示系统的安全性分析提供支持。
The airborne head-up display(HUD)system can greatly improve the success rate of take-off and landing in bad weather and has become a safety promotion technology promoted by the civil aviation administration of China.By constructing a specialⅠ/Ⅱapproach scene using the HUD system under low visibility,the system-theoretic process analysis(STPA)is used to identify potential unsafe control actions in this scenario.The verification and scenario analysis is carried out through strict formal language,and a scenario analysis framework containing 21 general factors is presented.In order to make up the shortcomings of lacking quantitative analysis,the Bayesian network is introduced to calculate the probability of unsafe control action,and the STPA-Bayes safety analysis and evaluation model is proposed.The results show that this method can effectively identify and analyze potential hazards of the system,reduce the influence of human factors on the results,and provide supports to the safety analysis of the airborne display system.
作者
赵长啸
李浩
董磊
王鹏
ZHAO Changxiao;LI Hao;DONG Lei;WANG Peng(College of Airworthiness, Civil Aviation University of China, Tianjin 300300, China;Science and Technology on Electro-optic Control Lab, Luoyang Institute of Electro-optic Equipment, Aviation Industry Corporation of China, Luoyang 471000, China;Sino-European Institute of Aviation Engineering, Civil Aviation University of China, Tianjin 300300, China;Key Lab of Civil Aircraft Airworthiness Technology, CAAC, Tianjin 300300, China)
出处
《系统工程与电子技术》
EI
CSCD
北大核心
2020年第5期1083-1092,共10页
Systems Engineering and Electronics
基金
国家自然科学基金-民航联合基金(U1933106)
航空科学基金(20185167017)
中央高校基本科研业务费(3122019167)资助课题。
关键词
安全性分析
系统理论过程分析
形式化验证
贝叶斯网络
平视显示系统
safety analysis
system-theoretic process analysis(STPA)
formal verification
Bayesian network
head-up display(HUD)system
