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

Daohua Wu and Wei Zheng

Reliability Engineering and System Safety, 2018, vol. 176, issue C, 62-79

Abstract: Fault Tree Analysis (FTA) and Event Tree Analysis (ETA) are by far the most frequently used qualitative and quantitative approaches in system reliability and safety analysis such as in the railway domain. FTA and ETA explain the causalities and consequences of hazards or accidents (e.g., rail traffic accidents) in terms of linear event sequences, which are difficult to incorporate none-linear relationships such as feedback. For quantitative analysis, FTA and ETA have disadvantages in dealing with dependent failure events. The quality assurance for fault trees and events trees is mainly carried out by peer review. In addition, traditional FTA and ETA are usually applied to systems that consists of non-repairable components. For systems that comprise repairable components, Markov models are widely used, which suffer however intensively from the state space explosion.

Keywords: Quantitative safety analysis; Timed Coloured Petri Nets; Systems theory; Mean time to hazardous event; Probability of keeping in normal and safe states; Railway control system (search for similar items in EconPapers)
Date: 2018
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (5)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832017312735
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:176:y:2018:i:c:p:62-79

DOI: 10.1016/j.ress.2018.03.035

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().