Formal model-based quantitative safety analysis using timed Coloured Petri Nets

Wu, Daohua; Zheng, Wei

doi:10.1016/j.ress.2018.03.035

Cited by 27 publications

(9 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A Petri net is a very powerful modeling tool that uses graphical icons including places, transitions and arcs to represent the mutual influence of parts in a system and the motion of tokens in the Petri net to represent the change in the system. Petri nets can describe not only knowledge but also the reasoning process, and hence, Petri nets are widely used in some safety related fields, e.g., fault diagnosis [17]- [20] and safety analysis/safety assessment [21]- [24].…”

Section: Introductionmentioning

confidence: 99%

A Fuzzy Petri-Net Approach for Fault Analysis Considering Factor Influences

Zhou

2020

IEEE Access

View full text Add to dashboard Cite

In fault analysis or diagnosis, we not only need to assess the possibility of a fault but also need to know the impacts of various casual factors on the possible outcome of the fault. A fuzzy Petri net (FPN) has the advantage of knowledge representation and fuzzy reasoning and may become a powerful fault analysis tool. Current FPNs and reasoning algorithms, however, do not reflect the influence of the causes on the results. Based on the weighted fuzzy Petri net, an enhanced weighted fuzzy Petri net (EWFPN) as well as a reasoning algorithm is proposed in this paper. Unlike ordinary Petri nets, which use a vector to represent the markings, EWFPN uses a matrix to represent the markings and the mutual influences of the places. Through a newly developed fuzzy reasoning algorithm that is based on matrix operations, not only the markings of all the places (e.g., the possibilities of the events represented by the truth values of the places) but also the possible impacts and the effects between the factors and events can be obtained. This way, it is possible to determine the relatively important causes of the final outcomes. A gas turbine is an important piece of equipment used in many fields. The analysis of the fault of ''Compressor is under turbulence'', which may lead to the failure of gas turbines and cause severe consequences, is taken as an example to illustrate the proposed approach.INDEX TERMS Fault analysis, influence analysis, reasoning algorithm, weighted fuzzy Petri net.

show abstract

Section: Introductionmentioning

confidence: 99%

A Fuzzy Petri-Net Approach for Fault Analysis Considering Factor Influences

Zhou

2020

IEEE Access

View full text Add to dashboard Cite

show abstract

“…Due to a lack of operational data and fault data, several methods, such as Hazard and Operability Study (HAZOP) [16], Systems Theory Process Analysis (STPA) [17], and belief rule base [14], which usually perform qualitative analysis and are applicable at the design stage, mostly depend on expert experience. In addition, as we increase the complexity of the systems under design, traditional bottom-up or top-down safety assessment techniques in the running phase, such as failure mode and effect analysis (FMEA) [18], fault tree analysis (FTA) [19], event tree analysis (ETA) [20], Bayesian analysis [21] and Petri net analysis [22], become insufficient to ensure the system safety [17]. However, the positive is that these traditional approaches focus on addressing safety based on a chain of events related to component malfunction, which provides an effective introduction for assessing system safety.…”

Section: Introductionmentioning

confidence: 99%

A New Function-Topology-Based Method for Assessing Passive Safety of Mechatronics Systems

et al. 2020

View full text Add to dashboard Cite

Various safety assessment models for predicting the future state of systems based on online monitoring data have been proposed. However, the complexity and interdependencies of mechatronics systems make it improbable to predict and prevent all possible failures/faults. Thus, it is also vital to assess the passive safety of mechatronics systems after a small or local fault occurs in order to make up for the shortcomings of online safety assessment. Hence, this paper proposes a passive safety assessment framework for a holistic system, according to the core chain of events related to component malfunction. The main contributions of this paper include three aspects. First, a component risk coefficient is proposed to more comprehensively reflect the risk degree of the component through analysis of a large number of fault data. Second, the fault propagation mechanism is explored to decrease the subjective effect based on the system topology and fault data. Third, a mapping function between system risk and system safety level is constructed; this function can provide support for management and maintenance personnel. A practical example of the bogie system for a high-speed train is examined to demonstrate the implementation and effectiveness and illustrate a potential application of the proposed passive safety method for assessing mechatronics system safety.

show abstract

“…Zhou [18] presented a fault analysis approach based on Petri net for fault detection. Wu [19] proposed a quantitative safety analysis method by timed coloured Petri nets based on formal model. Lajmi [20] applied an interval fuzzy Petri net to satisfy the characteristics of uncertain systems.…”

Section: Introductionmentioning

confidence: 99%

Cascading Failure Analysis Method of Avionics Based on Operational Process State

Xiao

Wang

2020

IEEE Access

View full text Add to dashboard Cite

In the context of functional integration of avionics, the complex operational process interaction has increased the complexity of the cascading failure analysis, which is significant to evaluate the overall safety status and design rationality. In order to achieve a dynamic and dimensional evaluation of cascading failures, this paper proposes a safety analysis method based on operational process state, with an operational process-orientated hierarchical system functional framework established by means of the state machine. Then the cascading failure causation dynamic search algorithms and the cascading failure causation tree structure are designed respectively to describe the failure propagation in combination. Consequently, cascading failure propagation paths and minimum cut sets are generated automatically based on the search result. By using the aircraft integrated surveillance system as a research object, the effect and cause of cascading failure assessed in various failure scenarios have validated the effectiveness of the proposed method, and the comparison against the existing model based safety analysis methods demonstrates the higher flexibility and efficiency of the proposed method. The proposed method enables the dynamic and overall assessment of system safety status concentrating on the cascading failure utilizing the operational process state, and further enhances the systemization and automation level of the safety evaluation process in the early development phase.

show abstract

Formal model-based quantitative safety analysis using timed Coloured Petri Nets

Cited by 27 publications

References 22 publications

A Fuzzy Petri-Net Approach for Fault Analysis Considering Factor Influences

A Fuzzy Petri-Net Approach for Fault Analysis Considering Factor Influences

A New Function-Topology-Based Method for Assessing Passive Safety of Mechatronics Systems

Cascading Failure Analysis Method of Avionics Based on Operational Process State

Contact Info

Product

Resources

About