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