基于随机Petri网和蒙特卡洛模拟的SIL等级验证

摘要

通过对安全相关控制系统进行SIL等级计算可以很好的量化控制系统的安全性.针对传统分析方法建模时拓展性差、表达能力差的问题,提出基于随机Petri网和蒙特卡洛模拟(SPN-M C)的SIL等级验证方法.首先建立了可拓展多种状态的"MooN"系统petri网模型;然后在不同参数条件下利用蒙特卡洛模拟计算出系统的PFH,求得安全相关控制系统的SIL等级.通过与传统的可靠性框图建模法所得结果进行对比分析,证明了SPN-MC法在SIL等级验证领域的可行性和准确性.