Méthodes et outils pour la sécurité fonctionnelle
Méthodes et outils pour la sécurité fonctionnelle
limites challenges.
SIGNORET Jean-Pierre
SDF Sécurité
Environnement
Disponibilité
Disponibilité
de Production
Production
Fréquence 2 Dimensions Conséquences de
(RAM)
(RAM)
"Dependability"
Définition
très générale Investissements
Sécurité
RAM
Disponibilité Besoin de
méthodologies
Événements Fréquents X Petites Conséquences adaptées
Aide à la Décision
Estimateurs Réalistes
4 - SMAI-IMdR, PAU, 6 Février 2009
Un corpus complet
Depuis Approches Attention au
de méthodes et outils simples Simplisme !
50 ans
Modèles
de Base
• Analyse Fonctionnelle
-Comment ça marche
• Analyse Préliminaire Des Risques -Identification des
•AMDE(C) risques
• HAZOP -Analyses haut niveau
Analyses Qualitative &
Ten
Calculs
Sens
Modèles approchées
d
Quantitative
•Diagrammes de fiabilité
a
Statiques
du pr
nce
-Pt de vue structurel
• Arbres de défaillances
SIS
a
-Combinaison de
ogrè
c
Calculs
t
défaillances
uelle
• Réseaux de fiabilité analytiques
s
Modèles
Approche Markovienne Dynamiques
• Réseaux de Petri & Monte Carlo Monte
-Analyse en
• Langage formels & Monte Carlo profondeur Carlo
-Point de vue
• ...
comportemental
comportemental
Approches
RAM SIS systémiques
5 - SMAI-IMdR, PAU, 6 Février 2009
Attention aux incidences systémiques
Analyse
LEGO !! Ce
Cen'est
n'estpas
pas
parce
parceque
quetoutes
toutes
les
lesparties
partiessont
sontoptimum
optimum
que
quele
lesystème
systèmeglobal
global
est
estoptimum
optimum
Aristotle
Bellman
Gödel
Approche
systémique
obligée
Paramètre
Probability of classique
Failure on Indisponibilité
Demand
Faible
demande PFD Indisponibilité PFD(t) = U(t)
Paramètre
Probability of "Exotique" ! Défiabilité
Failure per (Protection ultime)
Hour
Intensité
Mode PFH inconditionnelle PFH(t) = w(t)
Continu de défaillance
Indisponibilité
(Protection non ultime)
Components
"raisonnablement" P ??? IlIlfaut
fautaméliorer
améliorer
indépendant lescalculs
calculs
les
Calculs
couramment SISSIS
rencontrés SIS
Défaillant
Défaillance
Défaillance
deCause
de Cause
Valves Logic solver Sensors CCF
CCF Valves
DCC
CCF Vannes
Valves
Vannes
Valves
Failed
Logic solver
Failed
Sensors
Capteurs
Failed
DCC
CCF
Sensors commune
commune
défaillantes
Failed défaillant
Failed Failed
défaiilants Capteurs
Sensors
PFDavg8 PFDavg7
PFDavg1
ESDV SDV
ESDV
Failed
SDV
Failed PT1
PT1 Failed
PT1Défaillant
Failed
PT2 Failed
PT2Défaillant
PT2 Failed
PT3 Failed
PT3Défaillant
PT3 Failed
probabilité
Failed
Défaillante Défaillante
Failed
moyenne de
défaillance
PFDavg2 PFDavg3 PFDavg4 PFDavg5 PFDavg6
ESDV
PT3
ARALIA Indisponibilité SIS
Paramètres choisis pour
obtenir une "belle" courbe!
Max
Moyenne
PFD(t)
HIPS
HIPS
Courbes en Capteurs
SIS
courbes en Failed
SISFailed dents de scie
dents de scie
Vannes PFD(t)
Valves Logic solver Sensors CCF
CCF Valves Valves
Vannes Logic solver Capteurs
Sensors DCC
CCF
CCF Vannes
DCC Valves Failed Failed Failed Sensors
Failed
défaillantes Failed
défaillant défaillants
Failed Capteurs
Sensors
PFD(t)
ESDV SDV
ESDV
ESDV SDV
SDV PT1 Failed PT2 Failed PT3 Failed
Failed Failed PT1
PT1Défaillant
Failed PT2Défaillant
PT2 Failed PT3Défaillant
PT3 Failed
Failed
Défaillante Défaillante
Failed
Modèles comportementaux
Systèmes Explosion
Multi phase combinatoire
Systèmes
!
Modèle global
(mixte BdF/RdP) • PFD
• PFDavg
Composant simple Av
O1 = [Link] + [Link] + [Link]
Défaillance révélées Restoration
?-O3
AA Failure ?O3
W
EE U
BB 2/3 O1
O1 DD O2
O2 O3 Rl
!Ci
DD 1st Failure
!!-Ci
FF
CC
DD O2 = [Link] O3 = O2 .( Ce +Cf ) Fd
1 - SMAI-IMdR, PAU, 6 Février 2009
2
Disponibilité
de
Production
70 kbd
Process Capacité Process
90 kbd 100 kbd 90 kbd 70 kbd
B
50 kbd 50 kbd 40 kbd
0 kbd
Puits 40 kbd D 0 kbd
Priorité de Équipement
réparation permettant la
Pièces de meilleure
rechange récupération
Pertes
Toute
Toute
1 immédiates
Maintenance défaillance
défaillance
Mobilisation doitêtre
doit être
Curative du support réparée
réparée
Défaillances
d'intervention critiques
Pertes
Pas pendant
2
de pertes réparation
Autres Défaillances
3
Équipe(s) de défaillances dégradées
maintenance
1 - SMAI-IMdR, PAU, 6 Février 2009
5
... et plein d'autres paramètres ...
Hydrates
Paraffines
Réparations Arrêt
Sable
"suspendues" Météo d'urgence
Préservation
Installations Profils de
"Nomination" etc...
inhabitées production
1 - SMAI-IMdR, PAU, 6 Février 2009
6
Systèmes de taille industrielle: quête pour un modèle
Un saut
Markov
x(t) dt Réseaux
de Petri "qualitat
100 à 1 000 000 états
if"
est
Voie
nécessai
analytique 6-7 à 10-12
re
components
Automates
à états
finis
Besoin de modèles
comportementaux
Auto
approximation
Simulation de
Monte Carlo Seuls les états
important se
1 - SMAI-IMdR, PAU, 6 Février 2009
manifestent
7
RdP avec "Prédicats" & "Assertions"
A
Place: Jeton:
MOCA RP État potentiel État actuel
V12
Loi de Assertions:
probabilité -Équipe de réparation
Transition: disponible
Marche
Événement potentiel -Capacité = 90 !
a
Assertion: Défaillance
Bibliothèque
Capacité = 0! !!Ca=0 !!RP=True
!!Ca=90
Prédicat:
Attente Fin Rep.
"Équipe de a
réparation
??RP==True
disponible ?"
Début Rep.
Assertion: !! RP = false
"Équipe de
réparation
Réparation
indisponible!"
w b c d
w b c d
??RP==True ??RP==True ??RP==True ??RP==True
0 100.00%
0 Fuel Gas Gas Gas Lift 100.00%
W ater Oil Export
Fuel Gas Gas Gas Lift W ater Oil Export
Export injection
Export injection
10.00%
10.00%
Coûts etc.
Unavailability
TC
Unavailability
TC
1.00% 2oo3
1.00% 2oo3
4%
4%
0.10%
0.10%
Fiabilité Fréquences
0.01%
0.01%
Sensibilité 1.00E-05
1.00E-05
1.00E-04
1.00E-04
1.00E-03
1.00E-03
1.00E-02
1.00E-02
Critical Failure rate
Critical Failure rate Disponibilité
ALTARICA
MOCA-RP
et assertions formels
Adorés par
les ingénieurs !
2 - SMAI-IMdR, PAU, 6 Février 2009
2
Conclusion
Comportement Monte Carlo: seule voie
dynamique réaliste pour les systèmes
Modélisation
Systèmes de industriels
taille Taille Linéaire
industrielle
Ouvert & Flexible
Depuis
1982 MOCA-RP
Vers une Modularisation
machine RdP stochastiques
virtuelle Stepper Modèles Graphiques généralisés
Debogage
Réalité non distordue
Depuis Depuis
Compréhensibilité 2002 2004
Pe
Gi
Te
Ex
Langages RdP
ga
ta
ra
a
Flo
Flo
F
F
ps
ps
s
s
Calculateur Altarica
Calculs MOCA-RP
rapides
Calculs
Accélération
Automates
Auto approximation
Intervalle de
Précision
confiiance
2 - SMAI-IMdR, PAU, 6 Février 2009
3
Pour terminer
ARALIA