论文部分内容阅读
以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换。此外,研究模型的定量概率检验转换规则,构建逻辑验证表达。最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估。结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程。
Based on the fault extension model and the probabilistic test model, this paper studies the clear and complete conversion rules by analyzing the syntax semantics, transfer commands and logical relations of the probabilistic test model, and realizes the conversion of the fault extension model to the probabilistic test model. In addition, the quantitative probabilistic test of the model is used to test the rules of conversion and construct the logically validated expressions. Finally, quantitative safety evaluation based on probability test is carried out on the tuning control function of airborne communication system. The results show that by transforming the fault extension model into the conversion rule of the probabilistic test model, the quantitative safety of complex systems can be automatically analyzed to effectively support the safety assessment of complex systems of aircraft.