一种基于马尔可夫过程进行安全仪表功能的功能安全验证的方法

摘要

本发明公开了一种基于马尔可夫模型进行安全仪表功能的功能安全验证的方法。采用马尔可夫模型计算单一设备采用1选1结构时的需求时失效率，继而以单一设备1选1结构的需求时失效率为基础计算多设备共失效的概率，最后以多设备共失效的概率计算冗余结构的需求时失效率。从而按照IEC61508的要求由冗余结构的平均需求时失效率验证安全仪表功能的安全完整性等级。本发明的优点：1)通过马尔可夫模型涵盖系统的多种状态，反映系统的动态行为，从而使提高失效率的计算精度；2)由1选1结构的需求时失效率计算结果间接计算冗余结构的需求时失效率，从而避免了直接对冗余结构进行马尔可夫建模和模型计算的困难；3)考虑共因失效时结合了β因子模型和二项式失效率模型，提高了对共因失效率的计算精度。