Communication Dans Un Congrès Année : 2012

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

Sécurité fonctionnelle : accorder la complexité des méthodes avec la complexité des systèmes

Florent Brissaud
  • Fonction : Auteur
  • PersonId : 963232
Bruno Declerck
  • Fonction : Auteur

Résumé

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.
En accord avec la norme de sécurité fonctionnelle CEI 61508, il est requis d’estimer l’intégrité de sécurité du système due aux défaillances aléatoires du matériel. Pour une fonction faiblement sollicitée, la mesure utilisée est la probabilité moyenne de défaillance dangereuse en cas de sollicitation (PFDavg). Dans la présente communication, quatre méthodes ont été appliquées à différentes configurations d’un cas d’étude : arbres de défaillance avec le logiciel GRIF/Tree, graphes de Markov multi-phase avec le logiciel GRIF/Markov, réseaux de Petri stochastiques à prédicats avec le logiciel GRIF/Petri, et équations approchées (développées par DNV et différentes de celles données dans la norme CEI 61508) avec le logiciel OrbitSIL. Il est montré que toutes ces méthodes peuvent conduire à des résultats similaires pour l’estimation de la PFDavg, en tenant compte des caractéristiques requises par la norme. Le choix d’une méthode doit alors se faire sans a priori, sur la base d’un accord entre les efforts de modélisation, les objectifs, et les propriétés du système. Afin d’assister l’analyste dans cette tâche, une discussion sur les avantages et limites de chacune de ces méthodes est présentée.
Fichier principal
Vignette du fichier
FBr12 - Sécurité fonctionnelle accorder la complexité des méthodes avec la complexité des systèmes.pdf (945.44 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01107333 , version 1 (20-01-2015)

Identifiants

Citer

Florent Brissaud, Bruno Declerck. Sécurité fonctionnelle : accorder la complexité des méthodes avec la complexité des systèmes. Maîtrise des Risques et de Sûreté de Fonctionnement, Lambda-Mu 18, Oct 2012, Tours, France. pp.2E-2. ⟨hal-01107333⟩

Collections

TDS-MACS
127 Consultations
735 Téléchargements

Altmetric

Partager

More