Evaluating Fault Tree by means of Colored Petri nets to analyze the railway system dependability

Haifeng Song,Eckehard Schnieder

DOI: https://doi.org/10.1016/j.ssci.2018.08.017

IF: 6.392

2018-01-01

Safety Science

Abstract:•A new methodology for evaluating Fault Tree by means of Colored Petri nets.•Model correctness verification by applying state space analysis.•Quantitative and dependability analysis of Fault Tree model in Colored Petri nets.

What problem does this paper attempt to address?

Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs.

Dandan Ye,Weimin Wu,Jiliang Luo,Hongye Su

DOI: https://doi.org/10.1109/access.2018.2867901

IF: 3.9

2018-01-01

IEEE Access

Abstract:This paper proposes a fault diagnosis method based on the path information of a bounded Petri net model. It relies on the notions of two graphs called path marking graph and modified path marking graph, which characterize different sets of paths and markings consistent with an observed sequence, and a set of unobservable transitions whose firing will enable the sequence. The fault diagnosis method can be applied to a bounded Petri net model with unobservable and acyclic subnets. Moreover, the process of using these two particular graphs to calculate the possibilities of fault behaviors can be taken off-line, which is the most burdensome part for a bounded Petri net model, but also can reduce the memory cost. Finally, this method is verified through a production line example. The main contribution of this paper is to dig out the path information of a bounded Petri net, and to map it into different categories. By analyzing the inherent structure information of Petri net, the presented algorithm can diagnose faults without traversing all the system states.
Analysis of clock synchronization protocol security using colored Petri net

Dong-qin FENG,Jia-jun SHEN,Jian CHU

DOI: https://doi.org/10.13195/j.kzyjc.2013.1177

2014-01-01

Abstract:With the development of the industrial ethernet, the clock synchronization protocol which is the core technology of industrial ethernet real-time has become crucial. For the problem of the clock synchronization protocol security, a method for analyzing the clock synchronization protocol security using colored Petri net is proposed. Firstly, the protocol is modeled by using colored Petri net. Then the reachability of possible insecurity state is judged and analyzed by using the model through state equation, thus the security analysis of the clock synchronization protocol is realized. Finally, a clock synchronization protocol based on PTP and the main-clock spoofing attack aiming at this protocol are analyzed by using this method, and the result shows the effectiveness of the proposed method.
Test Case Generation Method Based on Colored Petri Net for Train Control System.

Chen Lijie,Zhao Tianshi,Sun Chao,He Hongyang

DOI: https://doi.org/10.1109/icsrs.2018.8688869

2018-01-01

Abstract:As playing a key role in high-speed railway, CTCS-3 (Chinese Train Control System - Level 3) is a typical safety-critical system. Effective testing is an important mean to improve security of safety-critical system. A set of test case generation method for CTCS-3 based on Colored Petri net is proposed in this paper. According to CTCS-3 technical specification, corresponding models are established, then state space of the models are generated and path to goal state is queried. The test case is generated based on the path to target state. By comparing the test case generated by Colored Petri net and the existing test case, the correctness of test case generation method based on Colored Petri net is verified, which avoids the possible ambiguity in the natural language description of traditional test case.
Functional Safety Verification on Railway Signaling System with Colored Petri Nets

Xiaoli She,Jiyuan Zhao,Jian Yang

DOI: https://doi.org/10.1109/itsc.2014.6958124

2014-01-01

Abstract:Signaling system acts very important safety role in both national railway and urban rail transportation. This paper provides a formal verification framework on functional safety desired by railway industry application. The presented work chooses Colored Petri Nets for functional modeling and verification. The modelling approaches of internal faults and undesired external influences are proposed by introducing a countering place, and the verification criteria is established based on credible hazard set. An application of this framework on Communication Based Train Control system is also presented.
The application of Coloured Petri nets in systems analysis

Xin Sun,Minri Fei,Youxian Sun

DOI: https://doi.org/10.1109/wcica.2002.1022178

2002-01-01

Abstract:In this paper, we research on a kind of high-level net system and give the basic mathematics theory of Colored Petri net system and Pr/T system. We model and analyze two processes by using the theory of Colored Petri net and Pr/T. Papermaking system is a complicated passes hot and character process, has many peculiarity such as many disturb, strong coupling, great pure lag etc. The papermaking model can be ease built by utilizing the theory. So the theory of Colored Petri is advantage for model of complex industry system. Finally, we represent a new analyse method for papermaking process.
Methodology of modeling and formal verification based on extended Petri net

ZHANG Guo-yin,LIU Ming,YAO Ai-hong,MEN Chao-guang

DOI: https://doi.org/10.3969/j.issn.1001-3695.2010.12.056

2010-01-01

Abstract:Embedded real-time system has a highly demand in timing constraint,safety and reliability,but traditional methodologies are incapable of modeling and formal verification about the real-time property and safety of system. This paper proposed real-time coloured Petri net model by extending the timing attribute of coloured Petri net so that could simulate and evaluate the timing property of system. According to the transformation rules from real-time coloured Petri net to timed automation,could complete model transformations and could formally verity real-time property,safety and reliability of system using timed computation tree logic. As a conformation of its validity,the described methodology had been successfully applied to modeling and formal verification of line redundancy control unit of train network controller device.
Fuzzy Fault Tree Analysis of Railway Traffic Safety

HZ Huang,X Yuan,XS Yao

DOI: https://doi.org/10.1061/40503(277)16

2000-01-01

Abstract:The safety analysis of railway traffic system is presented in this paper. Fuzzy fault tree technique has been adopted in safety analysis. The main traffic accidents-top events of fault trees-have been analyzed down to the level of human errors and hardware failures. In the fuzzy fault-tree model, the possibility of failure, i.e. a fuzzy set defined in probability space, is proposed to replace the probability of failures. The maximum possibility of railway traffic system failure is determined from the possibility of failure of each unit within the system according to the extension principle. An example is given to illustrate the method.
Application of fault tree analysis in the train data showing center

Yan Luo,Qinghua Liu,Yuelei Xie

DOI: https://doi.org/10.3969/j.issn.1673-808X.2014.02.011

2014-01-01

Abstract:In order to ensure the safety of the running train,fault tree analysis is applied into the early warning (EW)module of the train data showing center.A fault tree of equipment system is established,then the quantitative and qualitative analy-sis of the fault tree model is carried out,and the equivalent model of the system and fault probability is obtained.The DS system will make the corresponding alert by comparing the failure probability with the prior warning threshold.The applica-tion result shows that FTA is an effective way to diagnose system fault for the security of the running train.
Comparison and Analysis of Three System Reliability Evaluation Methods

Yao Wang,Qin Sun,Haihong Xue,Shuanhang Yan

DOI: https://doi.org/10.3969/j.issn.1674-8190.2014.04.014

2014-01-01

Abstract:Fault tree ,faulty Petri net and Bayesian network are three powerful models used to assess a system’s reliability and safety .Fault tree is the most widely used while each of the latter two has its own irreplaceable merits ,which can make up fault tree’s deficiency in practice .Based on the basic knowledge about these three models ,both method for mapping fault trees into faulty Petri nets and method for mapping fault trees into Bayesian networks are discussed .Combing with these two methods stated above ,a table that shows these three models’equivalent classic logic topology is presented ,which reveals the inner connection among these three models .On the basis of the table ,a method for mapping a faulty Petri net into Bayesian network is raised . Meanwhile ,a failure event of unexpected ignition of an engine is studied and compared using these three models separately and the results show that faulty Petri net describes the process of fault propagation clear and using the equivalent Bayesian network that mapped from a Petri net or fault tree ,more quantitative information can be calculated .
Experience using Coloured Petri Nets to Model Railway Interlocking Tables

Somsak Vanit-Anunchai

DOI: https://doi.org/10.4204/EPTCS.156.6

2014-07-15

Abstract:Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified. It is well-known that designing and verifying the interlocking tables are labour intensive, tedious and prone to errors. To assist the verification process and detect errors rapidly, we formally model and analyse the interlocking tables using Coloured Petri Nets (CPNs). Although a large interlocking table can be easily modelled, analysing the model is rather difficult due to the state explosion problem and undesired safe deadlocks. The safe deadlocks are when no train collides but the train traffic cannot proceed any further. For ease of analysis we incorporate automatic route setting and automatic route cancelling functions into the model. These help reducing the number of the deadlocks. We also exploit the new features of CPN Tools; prioritized transitions; inhibitor arcs; and reset arcs. These help reducing the size of the state spaces. We also include a fail safe specification called flank protection into the interlocking model.

Software Engineering
A Method for Constructing Fault Trees from AADL Models.

Yue Li,Yian Zhu,Chunyan Ma,Meng Xu

DOI: https://doi.org/10.1007/978-3-642-23496-5_18

2011-01-01

Abstract:System safety analysis based on fault tree has been widely used for providing assurance to the stringent safety requirement of safety-critical systems. Generating fault trees from models described in AADL, a promising standard language for modeling complicated embedded system, would realize the automation of system safety analysis which is traditionally performed manually. This paper proposes a whole method for constructing fault trees from AADL models, whose main idea is to extract fault information from AADL models by dynamically tracing the possible fault sources of the specified fault objective, store them into a proposed database structure, and then construct fault trees based on the extracted fault information in the database structure. Further, the challenge posed by the common problems of deadlock and fault tree sharing is resolved by one algorithm called Sharing_Label in our method. We prove the correctness of the whole method theoretically.
Using uml and petri nets for the design and verification of a railway interlocking system

Xinhong Hei,Lining Chang,Weigang Ma,Guo Xie

2011-01-01

Abstract:The Unified Modeling Language (UML) has been introduced into the design of safety-critical computer systems substantially. Considering that UML is a semi-formal tool, which leads to the difficulty in system analysis and verification, in this paper, we propose the way of transforming the UML statechart into a Petri net model, and establish the transformation rules, which makes it easy to analyze and verify the decentralized system properties, including concurrency, synchronization as well as confiict. Finally, in order to demonstrate the effectiveness of the proposed methodology, we model a novel decentralized railway interlocking system which ensures train safety in stations, then analyze and verify the system. © 2011 ISSN 1881-803X.
Multi-state System Reliability Analysis Based on Fuzzy Colored Petri Nets

Xinju Zhang,Shuzhen Yao

DOI: https://doi.org/10.1049/iet-sen.2014.0002

2015-01-01

IET Software

Abstract:Commonly used software may be inadequate for analysing multi-state systems because of their increasing complexity. Here, a general method of analysing the reliability of systems using fuzzy stochastic Petri nets (FSPNs) based on the fuzzy parameters of FSPNs is proposed. First, the authors' present the degree of importance and node-to-node system dependence definitions and access rules and classify the state space using the weighted state norm. Second, using the firing rule of the FSPNs and the concept of hierarchical sub-nodes, the authors' propose an algorithm for the analysis of adaptive FSPNs and their reliability. An adaptive simulation system based on FSPNs is also proposed. Estimates are applied to the adaptive simulation system, rendering the multi-state system more reliable and enabling the use of a structured cooperative communication network of users to request services. The results of the case study demonstrate the validity of the proposed approach.
Fault tree analysis oF train rear-end collision accident considering common cause Failure analiZ a drZe Wa usZK odZeŃ dla KoliZJi tylne J cZĘŚci sKŁ adu PociĄ gu Z uWZ glĘdnieniem usZK odZenia sPo Wodo Wanego WsPÓlnĄ PrZ ycZ ynĄ

Yanfeng Li,Hongzhong Huang,Shun‐Peng Zhu,N. Xiao

Abstract:Along with the development of modern design technology and the increasing complication of modern engineering systems, component dependency has become a universal phenomenon during the failure analysis of systems. Ignoring the dependency among the failure behaviors of system components may lead to a huge error or even yield faulty results. In this paper, three types of models and two kinds of modeling methods are introduced for solving the common cause failure issues. The fault tree model of the train rear-end collision accident has been proposed based on the explicit modeling method. The probability of occurrence of the train rear-end collision accident is calculated using the square root model. The result shows that common cause failure has significant influences on the system reliability.

Engineering
Fault Diagnosis of Train Network Control Management System Based on Dynamic Fault Tree and Bayesian Network

Chong Wang,Lide Wang,Huang Chen,Yueyi Yang,Ye Li

DOI: https://doi.org/10.1109/access.2020.3046681

IF: 3.9

2021-01-01

IEEE Access

Abstract:Train network control management system (TCMS) is an important part of the High-speed rail train. Because of the TCMS's complex and redundant structure, long-term operation environment, etc., breakdowns inevitably in the long-time running. Based on the historical fault data of the TCMS accumulated during their online service, the working principles, failure modes, and effects analysis of TCMS are researched and the dynamic fault tree (DFT) model of TCMS failure is built. Then, the dynamic fault tree model is transformed into the Bayesian network (BN) model, which can model the reliability of such types of systems. Finally, combining DFT with BN is used for fault probability estimation and reliability assessment. The results present that increasing the reliability of key modules for the TCMS would be of great help to High-speed rail train engineers in the fault diagnosis field.
The reliability analysis of the subway signal system based on Petri Nets

ZHANG Xiao-hui,HE Jie,SUN Jing,ZHANG Di

2009-01-01

Abstract:Subway signal system is the central nervous system of metro,at the same time,it is the important safeguard of the metro operation standard improvements.This paper divided the important degree of the system based on the analysis of system function and system fault type.Constructing the metro signaling Petri Net framework of five sub-nets,the paper researches the dynamic sub-nets reliability model under the condition of the important equipment signal system failure.
Fault tree analysis combined with quantitative analysis for high-speed railway accidents

Pei Liu,Lixing Yang,Ziyou Gao,Shukai Li,Yuan Gao

DOI: https://doi.org/10.1016/j.ssci.2015.06.017

IF: 6.392

2015-11-01

Safety Science

Abstract:This paper focuses on employing the fault tree analysis method combined with quantitative analysis to investigate high-speed railway accidents. Specifically, by establishing a fault tree logic diagram based on a high-speed railway accident, an in-depth fault tree analysis combined with quantitative analysis is given to present a more comprehensive view of the accident. In quantitative analysis process, each basic event in the fault tree is endowed with uncertain characteristic due to the incompleteness of the prior information and the complexity of decision environments. With this concern, a novel method within the framework of intuitionistic fuzzy set theory is proposed to handle this problem, in which the failure possibilities of basic events are particularly treated as intuitionistic trapezoidal fuzzy numbers (ITFNs). In addition, a new ranking method for ITFNs is proposed by defining the expected values and compromise possibilities, and is efficiently employed to determine the importance degrees of all basic events. As an application, two numerical experiments are implemented to illustrate the effectiveness of the proposed fault tree analysis method, and some conclusions and suggestions are also given to decrease the occurrence possibilities of similar accidents.

engineering, industrial,operations research & management science
Research on UML Model Based on Object Colored Petri Net

WANG Hong-ying,ZHANG Gui-xu

DOI: https://doi.org/10.3969/j.issn.1673-629x.2007.04.050

2007-01-01

Abstract:UML is widely used in software modeling which has a problem on model checking.By using formal method to analyze and check UML models,the design problems can be found in early phase so as to improve the quality of UML models.To solve the problems of model checking of UML models,introduces a high-level Petri net called object colored Petri net which is not only a graphical modeling tool but also a kind of formal method.And by invoking event token,a method of transforming UML model to object colored Petri net is improved when mapping UML statechart diagrams and collaboration diagrams to object colored Petri net.Then analysis and verification of the model are illustrated to verify a series of properties.
Modeling And Analysis Of Failure Mechanism Dependence Based On Petri Net

Yingyi Li,Ying Chen,Ning Tang,Liu Yang

DOI: https://doi.org/10.1109/PHM.2016.7819904

2016-01-01

Abstract:Reliability analysis based on failure mechanism takes advantage of unnecessary requirement for the field data, compared with the traditional method based on probability statistics. Current reliability analysis for systems based on failure dependence mainly focus their views on either failure level or failure process level, but barely from the aspect of failure mechanism. Our previous work used Mechanism Failure Tree (MFT) to show the correlation of failure mechanisms directly, but it is unavailable to express the dynamic flow of failure states. This paper proposed a modeling method of dependence of failure mechanism based on Petri net for electronic systems. Compared with MFT, the dynamic characteristics of failure mechanisms can be indicated effectively. In this paper, the models based on Petri net of four basic dependence of failure mechanisms which is utilized to generate the Petri net model of dependence of failure mechanism for a practical system have been given. And a case of a simple electronic system has been studied in the final part in order to illuminate the process of modeling.
Reliability Analysis of Communication Systems in Substation Based on Dynamic Fault Tree

XIONG Xiaoping,TAN Jiancheng,LIN Xiangning

2012-01-01

Abstract:On the basis of studying the mechanism of parallel redundancy protocol(PRP),high availability seamless ring(HSR) and rapid spanning tree protocol(RSTP) protocols used in the substation communication systems,a method that can quantitatively assess the reliability of a substation communication system was proposed to provide the reference for the selecting ways of substation communication systems based on IEC 61850.At the aspect of repairable feature and redundancy,the reliability models were constructed applying dynamic fault tree(DFT) modeling method.The modularization design was utilized to divide the dynamic fault trees into static and dynamic subtrees.The static tree was solved with binary decision diagram(BDD) and the dynamic tree was solved with Markov method.The analysis results of the reliability indices and model structures of the three repairable networks show that PRP network possesses the highest reliability among three networks and its cost is also the highest in repairable system.

Evaluating Fault Tree by means of Colored Petri nets to analyze the railway system dependability

Fault Diagnosis of Bounded Petri Nets Using Path Marking Graphs.

Analysis of clock synchronization protocol security using colored Petri net

Test Case Generation Method Based on Colored Petri Net for Train Control System.

Functional Safety Verification on Railway Signaling System with Colored Petri Nets

The application of Coloured Petri nets in systems analysis

Methodology of modeling and formal verification based on extended Petri net

Fuzzy Fault Tree Analysis of Railway Traffic Safety

Application of fault tree analysis in the train data showing center

Comparison and Analysis of Three System Reliability Evaluation Methods

Experience using Coloured Petri Nets to Model Railway Interlocking Tables

A Method for Constructing Fault Trees from AADL Models.

Using uml and petri nets for the design and verification of a railway interlocking system

Multi-state System Reliability Analysis Based on Fuzzy Colored Petri Nets

Fault tree analysis oF train rear-end collision accident considering common cause Failure analiZ a drZe Wa usZK odZeŃ dla KoliZJi tylne J cZĘŚci sKŁ adu PociĄ gu Z uWZ glĘdnieniem usZK odZenia sPo Wodo Wanego WsPÓlnĄ PrZ ycZ ynĄ

Fault Diagnosis of Train Network Control Management System Based on Dynamic Fault Tree and Bayesian Network

The reliability analysis of the subway signal system based on Petri Nets

Fault tree analysis combined with quantitative analysis for high-speed railway accidents

Research on UML Model Based on Object Colored Petri Net

Modeling And Analysis Of Failure Mechanism Dependence Based On Petri Net

Reliability Analysis of Communication Systems in Substation Based on Dynamic Fault Tree