Abstract:

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.