故障拓展模型到概率检验模型的转换规则

摘要

Based on the fault extended model and the probabilistic model,through the analysis of the syntax and semantics,the transfer order and the logic relations,the clear and complete translation rules are studied to realize the transformation of the fault extended model to the probabilistic checking model.In addition,the quantitative probabilistic check translation rules of model are studied,and the expression of logical verification is constructed.Finally,the quantitative safety analysis is made based on probabilistic check for the tuning control function of airborne communication system.Results show that the translation rules of the fault extended model transferred to probabilistic checking model can realize the automatic quantitative analysis of complex system,so as to effectively support safety assessment process of aircraft complex system.%以故障拓展模型和概率检验模型为基础,通过分析概率检验模型的语法语义、转移命令及逻辑关系,研究清晰、完整的转换规则,实现故障拓展模型向概率检验模型的转换.此外,研究模型的定量概率检验转换规则,构建逻辑验证表达.最后,对机载通信系统调谐控制功能展开基于概率检验的定量安全性评估.结果表明,通过将故障拓展模型转换为概率检验模型的转换规则,能够实现复杂系统定量安全性自动分析,从而有效支持航空器复杂系统安全性评估过程.