一种基于Petri网模型的系统动态安全性分析方法

针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率。最后,以实例验证了该方法的可靠性和有效性。

基于联合事件概率定义的序列失效分析

基于Petri网的失效序列分析能较好拓展序列失效分析的应用范围。针对一种基于Petri网序列失效分析方法,通过仿真手段对其有效性进行检验,检验表明该方法对系统运行时间不敏感。对此,提出了一种基于联合事件概率定义的序列失效分析方法,给出了计算失效序列发生概率的精确解。从中也可得出启示:对于近似计算方法,为严谨周密起见,需对其有效性检验。