By Topic

Safety Requirements Parameter Derivation for Maglev Train Propulsion and Protection Systems Based on Stochastic Petri Nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Wei Zheng ; Sch. of Electron. & Inf. Eng., Beijing Jiaotong Univ., Beijing, China ; Hongze Xu

This paper presents a formal approach to model the traffic operational processes on a Maglev train example based on Stochastic Petri nets. The Maglev train is modeled with respect to process, function and dependability. Process model describes the normal running status and abnormal protected status of the Maglev train from departure to stopping and function model shows the working principle of propulsion and protection function. Dependability model describes the failure and recover rate of this two functions. The relationship between process, function and dependability is also described in this model based on the propulsion and protection principle. The relationship between individual risk and accident rates is built up and then simulations based on the model show that the dependability parameters of the propulsion and protection functions can be derived based on the safety requirements of the CENELEC standards. Finally the availability of the propulsion and protection systems is analyzed.

Published in:

Measuring Technology and Mechatronics Automation, 2009. ICMTMA '09. International Conference on  (Volume:2 )

Date of Conference:

11-12 April 2009