| 一种基于Petri网模型的系统动态安全性分析方法 |
| |
| 引用本文： | 赵俊阁,刘玲艳,吴晓平.一种基于Petri网模型的系统动态安全性分析方法[J].海军工程大学学报,2008,20(6). |
| |
| 作者姓名： | 赵俊阁 刘玲艳 吴晓平 |
| |
| 作者单位： | 海军工程大学,电子工程学院,武汉,430033 |
| |
| 基金项目： | 国家自然科学基金资助项目
|
| |
| 摘 要： | 针对目前安全分析方法通常只能给出导致系统失效的事件发生序列,而对系统运行过程中的一些时序、动态等因素考虑不足等问题,提出了基于Petri网模型的系统安全性动态分析方法,并结合系统状态可达树,建立了系统动态安全性分析模型,得出导致系统失效的所有可能事件的序列及其发生概率.最后,以实例验证了该方法的可靠性和有效性.
|
| 关 键 词： | 动态安全性 Petri网 可达树 失效序列 |
A method of dynamic safety analysis for system based on Petri net |
| |
| ZHAO Jun-ge,LIU Ling-yan,WU Xiao-ping.A method of dynamic safety analysis for system based on Petri net[J].Journal of Naval University of Engineering,2008,20(6). |
| |
| Authors: | ZHAO Jun-ge LIU Ling-yan WU Xiao-ping |
| |
| Institution: | College of Electronic Engineering;Naval Univ.of Engineering;Wuhan 430033;China |
| |
| Abstract: | 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 reachability 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 re... |
| |
| Keywords: | dynamic safety Petri nets reachability tree failure sequence |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
