Verification of safety integrity level of high demand system based on Stochastic Petri Nets and Monte Carlo Simulation

Xianqiong Zhao, Olaf Malasse and Buchheit, Grégory

Reliability Engineering and System Safety, 2019, vol. 184, issue C, 258-265

Abstract: The paper proposed an approach of verifying the Safety Integrity Level (SIL) for the high demand safety system. This approach is based on the Stochastic Petri Nets models and Monte Carlo simulation (SPN-MC) and follows the requirements of IEC61508, which is a commonly accepted standard in the domain of functional safety of programmable electronic and control engineering systems. The paper provides a comparative analysis of the SIL with the application of SPN-MC and the Reliability Block Diagram (RBD) method given by EN61508 to prove the correctness and feasibility of the SPN-MC approach. Additionally, a typical large scaled complex system was adopted to apply the novel approach, which is hard for classical analytical methods.

Keywords: Functional safety; Safety Integrity Level; Monte Carlo simulation; Stochastic Petri Nets (search for similar items in EconPapers)
Date: 2019
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832016307785
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:184:y:2019:i:c:p:258-265

DOI: 10.1016/j.ress.2018.02.004

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 ().