摘要
针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率。最后,以实例验证了该方法的可靠性和有效性。
Aiming at the defects in present safety analysis methods that can only give the sequences of failures in the system and ignorant the order of the failures and probability of their occurrences, a method of system dynamical safety analysis was presented based on Petri net. Combining with reach-ability trees, the model of dynamical safety analysis was established, which could be used for identifying the failure sequences and assessing the probability of their occurrences. The method was proved to be effective and reliable in practice.
出处
《海军工程大学学报》
CAS
北大核心
2008年第6期9-12,共4页
Journal of Naval University of Engineering
基金
国家自然科学基金资助项目(60774029)
