电光与控制, 2017, 24 (11): 64, 网络出版: 2017-11-27   

基于概率模型检验的民机平视显示系统建模与安全性分析

Probability Model Check Based Modeling and Safety Analysis of HUD System on Civil Aircrafts
作者单位
1 中国民航大学天津市民用航空器适航与维修重点实验室,天津 300300
2 中国民航大学适航学院,天津 300300
摘要
民机平视显示系统(HUD)作为安全关键系统,由于其高度复杂且与其他机载系统结合使用,使得传统系统安全性评估方法难以满足定量安全性分析需求。因此,需要开发基于形式化模型的安全性评估(MBSA)方法,在明确概率模型检验原理及系统高层建模规范基础上,研究平显系统概率模型分层建模方法,建立平显系统概率模型,并描述系统定量安全性属性,展开自动概率模型检验,得出定量安全性分析结论,提高安全性分析效率与运算结果精确度。
Abstract
Head-Up Display (HUD) onboard civil aircrafts is a crucial safety system.Because of its high complexity and other airborne systems combined with it,the traditional system-safety-assessment method has difficulty in meeting the requirements of a quantitative safety analysis.Therefore,it′s necessary to develop a Model-Based Safety-Assessment (MBSA) method.On the basis of clearly defining the principles of the probability model check and the high-level system-modeling specifications,we studied the method for hierarchical modeling of the probability model of the HUD system,built the probability model of the HUD system,described the quantitative safety properties of the system,and carried out automatic probability model checks.The conclusion of the quantitative safety analysis was obtained,which can improve the efficiency of the safety analysis and the accuracy of the calculating results.

王鹏, 张帆, 董磊, 赵长啸. 基于概率模型检验的民机平视显示系统建模与安全性分析[J]. 电光与控制, 2017, 24(11): 64. WANG Peng, ZHANG Fan, DONG Lei, ZHAO Chang-xiao. Probability Model Check Based Modeling and Safety Analysis of HUD System on Civil Aircrafts[J]. Electronics Optics & Control, 2017, 24(11): 64.

本文已被 1 篇论文引用
被引统计数据来源于中国光学期刊网
引用该论文: TXT   |   EndNote

相关论文

加载中...

关于本站 Cookie 的使用提示

中国光学期刊网使用基于 cookie 的技术来更好地为您提供各项服务,点击此处了解我们的隐私策略。 如您需继续使用本网站,请您授权我们使用本地 cookie 来保存部分信息。
全站搜索
您最值得信赖的光电行业旗舰网络服务平台!