Research on Verification Method of Safety Integrity Level Based on Monte-Carlo

In order to verify the uncertainty of parameters and integrity in the process of verification, the safety integrity level is established. In the case that the original Markov model is incomplete, the Cτ-Markov model, which is a more complete periodic proof test module, is introduced. In the case of insufficient data, the Monte-Carlo method is used to deal with the parameter uncertainty in the SIL verification calculation and related analysis. Finally, the Monte-Carlo based Cτ-Markov model SIL verification method and its process are proposed in the case of insufficient data. The results show that in the case of insufficient data, the Monte-Carlo-based Cτ-Markov model SIL verification method has higher accuracy and is more in line with actual working conditions.