arXiv Analytics

Sign in

arXiv:1501.04938 [math.PR]AbstractReferencesReviewsResources

Functional safety: matching the complexity of methods with the complexity of systems

F Brissaud, B Declerck

Published 2015-01-20Version 1

In line with the IEC 61508 functional safety standard, it is required to assess the safety integrity of a system due to random hardware failures. For a rarely used function (operating in a low demand mode), the measurement used is average probability of a dangerous failure on demand (PFDavg). In this paper, four methods have been applied to different configurations of a case study: failure tree analysis with the software GRIF/Tree, multi-phase Markov graphs with the software GRIF/Markov, stochastic Petri nets with predicates with the software GRIF/Petri, and approximate equations (developed by DNV and different from those given in the IEC 61508 standard) using the software OrbitSIL. It is shown that all these methods can lead to similar results for the estimating of the PFDavg, taking into account the required characteristics of the standard. The choice of method must be made without bias, based on an agreement between the modelling efforts, goals, and the system properties. To assist the analyst in this task, a discussion of the benefits and limitations of each of these methods is presented.

Comments: in French
Journal: Ma\^itrise des Risques et de S\^uret\'e de Fonctionnement, Lambda-Mu 18, Oct 2012, Tours, France. Institut pour la Ma\^itrise des Risques, pp.2E-2, Actes du 18\`eme Congr\`es de Ma\^itrise des Risques et de S\^uret\'e de Fonctionnement, Lambda-Mu 18
Categories: math.PR
Related articles: Most relevant | Search more
arXiv:math/0009084 [math.PR] (Published 2000-09-08)
On the Distribution Function of the Complexity of Finite Sequences
arXiv:1111.1352 [math.PR] (Published 2011-11-05, updated 2011-11-08)
Max-plus objects to study the complexity of graphs
arXiv:2105.05043 [math.PR] (Published 2021-05-11, updated 2022-10-05)
Complexity of bipartite spherical spin glasses