基于随机Petri网的磁浮列车超速防护建模及安全分析.pdfVIP

Vo l. 31 No.4 铁道学报 第 31 卷第 4 期 2009 年 8 月 JOURNAL OF THE CHINA R八日，WA Y SOCIETY August 2009 文章编号: 1001-8360(2009)04心059-06 蒜于随机 Petri 网的磁汗列车超速防护建模及安全分析 郑伟，徐洪泽 (北京交通大学电子信息工程学院，北京 100044) 摘 要:欧洲议会颁布的 CENEL览C 系列标准文件及安全指南荔于全局安全目标米最化铁路运行的可容忍风 险，并希望据此确定相应控制系统功能及部件的安全需求。本文基于单一的随机 Petri 网，通过对系统自身运行 的动态特性及所有影响系统运行风除的因京进行全丽的层次化建模、风险分析及危险分析，实现了这一目标。在 本文的建模方法巾，通过对运输工具的动态运行操作过程、控制系统功能及功能可靠性的建模和仿真实现了风险 分析F 对动态运行过程、功能执行部件及部件可靠性的建模和仿真实现危险分析。本文以磁浮列车超速安余防护 过程为例描述了详细的运输系统建模、分析及仿真过程。仿真结果表明单一的随机 Petri 问可以用来实现全局安 全目标到系统功能部件可靠性的全面分配。 关键诩:安余目标分配p 风险分析$危险分析; Petri 网;超速防护 中图分类号: U666.11 文献标志码: A doi: lO. 3969/j. issn. 1001而 8360.2009.04.011 Modeling and Safety Analysis of Maglev Train Over-speed Protection ßased on Stochastic Petri Nets ZHENG Wei , XU Hong-ze (School of Electronics and Information Engineering , Beijing Jiaotong University , Beijing 100044 , China) Abstract: The CENELEC Standards and Safety Directive promulgated by the European Parliament quantify tol- erable risks of railway operation according to global safety targets and aim at defining safety requirements of functions of railway control systems and system components. In this paper. this target is achieved by hierarchic modeling. risk analysis and hazard analysis of the inherent dynamic properties and all factors influencing opera- tion risks of the system with the single stochastic Petri nets description method. Modelling and simulation of the dynamic traffic operation process ,and functions of the control system and their reliabi