论文部分内容阅读
民机平视显示系统(HUD)作为安全关键系统,由于其高度复杂且与其他机载系统结合使用,使得传统系统安全性评估方法难以满足定量安全性分析需求。因此,需要开发基于形式化模型的安全性评估(MBSA)方法,在明确概率模型检验原理及系统高层建模规范基础上,研究平显系统概率模型分层建模方法,建立平显系统概率模型,并描述系统定量安全性属性,展开自动概率模型检验,得出定量安全性分析结论,提高安全性分析效率与运算结果精确度。
As a safety-critical system, the HUD (Hidden Vision System) is highly complex and can be used in combination with other airborne systems to make traditional system safety assessment methods difficult to meet the requirements of quantitative safety analysis. Therefore, it is necessary to develop a safety assessment based on formal model (MBSA) method. Based on the principle of explicit probability model test and the system high-level modeling standard, this paper studies the hierarchical modeling method of the probabilistic model of flat display system, , And describes the quantitative security attributes of the system, expand the automatic probability model test, draw conclusions of quantitative security analysis, improve the safety analysis efficiency and accuracy of the results.