0% ont trouvé ce document utile (0 vote)
8 vues25 pages

Méthodes et outils pour la sécurité fonctionnelle

Transféré par

Choayb Djeddi
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PPT, PDF, TXT ou lisez en ligne sur Scribd
0% ont trouvé ce document utile (0 vote)
8 vues25 pages

Méthodes et outils pour la sécurité fonctionnelle

Transféré par

Choayb Djeddi
Copyright
© All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PPT, PDF, TXT ou lisez en ligne sur Scribd

Méthodes et outils de la SdF: Adéquation,

limites challenges.

SIGNORET Jean-Pierre

SMAI-IMdR, PAU, 6 Février 2009


Généralités

2 - SMAI-IMdR, PAU, 6 Février 2009


Définition du “RISQUE”
SIS
SIS

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

Divers risques Safety Production


==>
Diverses études
3 - SMAI-IMdR, PAU, 6 Février 2009
Sécurité versus Disponibilité de Production

Sécurité

Événements Rares X Grosses Conséquences Besoins


en données
Autorités de sûreté de plus en plus
précises
Estimateurs Conservatifs SIS

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

Le "tout" est plus que la


somme de ses parties
6 - SMAI-IMdR, PAU, 6 Février 2009
Sécurité
fonctionnelle

7 - SMAI-IMdR, PAU, 6 Février 2009


Liens avec les définitions classiques
Concepts Concepts
CEI traditionnels

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)

Aucun problème avec les


approches conventionnelles
8 - SMAI-IMdR, PAU, 6 Février 2009
Attention aux
Exemple typique
calculs simplistes
PT1
SDV
Résultats Inacceptablepour
pour
PT2 2/3 LS 1/2 non Inacceptable
lasécurité
la sécurité
conservatifs
ESDV
PT3

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

9 - SMAI-IMdR, PAU, 6 Février 2009


Calculs rigoureux: PFDavg PFD(t)
PT1
SDV

PT2 2/3 LS 1/2

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

1 - SMAI-IMdR, PAU, 6 Février 2009


0
Au delà des limites de l'ADD

Aspects dynamiques Dépendances

Modèles comportementaux
Systèmes Explosion
Multi phase combinatoire

Markov + calculs analytiques

Composants RdP + Monte Carlo


individuels

Systèmes

11 - SMAI-IMdR, PAU, 6 Février 2009


Approche mixte: BdF/Réseaux de Petri • Ressources réparation
• Mobilisation
• Pièces de rechange
• DCC
Tr4 !RA = true nC
nC
R W !Ci
Assertion ! Ci ! NbR =NbR-1 !- CCF
 RR W
W !- Dccf
Jeton   CCF
! RA = false DU Tr1 ? Dccf !CCF
Tr3 !-Ci DU
?CCF
?RA = true =0 Délai Transition OL !-Ci !-Ci CC
stochastique Place
Prédicat RR
RR SP DU
DU DCC
DD DU
! NbR =NbR+1 nM
Délai ? Dccf
= t mod  F( )
déterministe ?NbR >0

? NbR =0 =0
!If CCF then Dccf DU
DU
Composant simple DD
DD TT
OL M
périodiquement testé

Composant simple Équipe de réparation

!
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

1 - SMAI-IMdR, PAU, 6 Février 2009


3
Du binaire au multi-états

ADD Modèles Systèmes


RBD non Booléens Multi États

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

Client C Impossible de Client


séparer en bon et
30 kbd mauvais états 30 kbd

Multiples niveaux de Production


1 - SMAI-IMdR, PAU, 6 Février 2009
4
Politique de Maintenance curative

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

Nuit & jour


B
Philosophie Wells
d'opération Transport D
C
Maintenance
préventive Stockage

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!"

1 - SMAI-IMdR, PAU, 6 Février 2009


8
Modèle simple de production
B
70
Wells D
Assertion 90 C
40 100
0
90 40
0 70 100
Prod = Min ( Cw , Cc + Cb , = 70
90 Production
Production
Cd )

w b c d

!!Cw=0 !!RP=True !!Cb=0 !!RP=True !!Cc=0 !!RP=True !!Cd=0 !!RP=True


!!Cw=90 !!Cb=70 !!Cc=40 !!Cd=100

w b c d
??RP==True  ??RP==True  ??RP==True  ??RP==True 

!! RP=false !! RP=false !! RP=false !! RP=false

1 - SMAI-IMdR, PAU, 6 Février 2009


9
Exemple de résultats Losses Contributions in %
Losses Contributions in % Pertes
80.00%
80.00%
70.00% % GAS
70.00% % GAS
9000 % Oil
8726.17 60.00% % Oil
Productions
9000 8194.44 7590.11
8726.17 7868.59 8194.44 7590.11 60.00% % Water
7868.59 8194.44
8194.44 % Water
8000 50.00% % GL
8000 50.00% % GL
7000 40.00%
7000 40.00%
6000 30.00%
6000 30.00%
20.00%
5000 20.00%
5000
10.00%
4000 10.00%
4000
0.00%
0.00%
3000
3000
2000 1169.89
Unavailability as fuction
2000 837.81 1169.89
Unavailability
511.96 as fuction
837.81 53.60 511.96
33.83 53.60 53.60 of the critical failure rate
1000
1000
33.83 53.60
511.96 of the53.60
critical failure rate
511.96 53.60

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é

2 - SMAI-IMdR, PAU, 6 Février 2009


0
Challenges
&
Conclusions

2 - SMAI-IMdR, PAU, 6 Février 2009


1
Progrès & Challenges
Reconfigurations

Augmentation Nouveaux paramètres


de la complexité probabilistes
Augmentatio Raccourcissement
n demande Besoin des délais
d'améliorations
Fiabilité Convivialité
dynamique

RdP à prédicats Langages

ALTARICA
MOCA-RP

et assertions formels

Bibliothèque Modèles graphiques Bibliothèque


similaires aux BDF

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

formels Pred. & Ass.


lop
lop

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

Des méthodes efficaces existent pour MARK


XPR
modéliser les systèmes complexes

Améliorations majeures depuis 10 ans MOCA-RP

On arrive à traiter la plupart des


problèmes rencontrés AltaRica

Une "certaine" expertise est nécessaire

Trouver de bons prestataires est


parfois difficile
Collaborations
Des universités travaillent sur ce sujet

La recherche continue ...


Stagiaires
2 - SMAI-IMdR, PAU, 6 Février 2009
4
Des
Des
That's
That's all
all
questions
questions
folks
folks
??

2 - SMAI-IMdR, PAU, 6 Février 2009


5

Vous aimerez peut-être aussi