电光与控制, 2017, 24 (11): 64, 网络出版: 2017-11-27
基于概率模型检验的民机平视显示系统建模与安全性分析
Probability Model Check Based Modeling and Safety Analysis of HUD System on Civil Aircrafts
平视显示器 民机 概率模型检验 形式化模型 定量分析 安全性 head-up display civil aircraft probability model check formalized model quantitative analysis safety
摘要
民机平视显示系统(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.