Une approche harmonisée pour l'évaluation de la sécurité des systèmes ferroviaires : de la décomposition fonctionnelle au modèle comportemental, A harmonized approach for safety assessment in railways : from a functional decomposition to a behavioral model

Meriem Rafrafi

Description

Sous la direction de El Miloudi El koursi, Pascal Yim
Thèse soutenue le 26 novembre 2010: Ecole Centrale de Lille
Les systèmes complexes ferroviaires étant de plus en plus contraints par des autorités de décision placées à un haut niveau d'abstraction, il devient problématique d'imposer des critères à une autre échelle que fonctionnelle. Ainsi, dès lors que l'on descend plus bas, nous sommes confrontés à des spécificités des systèmes nationaux qui font perdre la généralité du travail des décisionnaires Européens. Le problème est qu'à chaque niveau d'abstraction, des méthodes d'évaluation du risque existent, mais sans être compatibles entre elles. Par ailleurs, la combinaison des couches et la vision fonctionnelle du système ne prennent pas en compte l'impact des fonctions les unes sur les autres, ni le lien entre le niveau global et les composants afin d'allouer la sécurité.Nous proposons donc une démarche harmonisée d'évaluation du risque, capable de répartir les contraintes définies au niveau fonctionnel abstrait sur les entités qui implémentent les systèmes avec leurs spécificités.Notre contribution est méthodologique. Elle part d'un modèle fonctionnel du système ferroviaire constitué en couches. Le but étant de représenter ce système sans dépendance entre les fonctions, il a fallu les traduire indépendamment des autres en faisant apparaître les entrées/sorties comme des places/transitions d'un réseau de Petri. A chaque couche de la décomposition correspond une classe de réseau de Petri. Ainsi, à la couche structurelle, nous associons les réseaux de Petri Temporels; à la couche fonctionnelle les réseaux de Petri stochastiques et à la couche logique les réseaux de Petri Prédicats Transitions
-Interopérabilité ferroviaire
-Objectifs de sécurité communs
-Acceptation du risque
-Évaluation du risque
-Approche modulaire
-Réseau de Petri
The railway systems are being more and more forced by decision authorities. As they are placed at a high level of abstraction, it becomes problematic to impose another criterion or scale. In fact, since we come down lower, we are confronted with specificities of the national systems which make lose the majority of the work of the European decision-makers. The issue is that, at every level of abstraction, risk assessment methods exist, but without being compatible. Besides, the combination of layers and the functional vision of the railway system do not take into account the impact of some functions on the others, nor the link between the global level of risk and the components to assign the safety.Thus, we propose a harmonized approach for risk assessment. This approach allows us to distribute the constraints defined at the abstract functional level on the entities which implement both the systems and their specificities.Our contribution is methodological. It leaves a functional model of the layered railway system. The purpose is to represent this system without any dependencies between the functions. For instance, it was necessary to translate them independently by creating entrances/exits as places/transitions of a Petri net. A Petri net class corresponds to each layer. To the structural layer, we associate the time Petri net; to the functional layer, the stochastic Petri nets and to the logical layer, the predicate transitions nets
-Railway interoperability
-Common safety targets
-Risk acceptability
-Risk assessment
-Modular approach
-Petri nets
Source: http://www.theses.fr/2010ECLI0015/document

Sujets

• Interopérabilité ferroviaire
• Réseau de Petri

Informations

• Publié par: Thesee
• Nombre de lectures: 41
• Langue: Français
• Poids de l'ouvrage: 2 Mo

Extrait

LA
al
e
N
de
d'ordre
err
:
e
132
M.
ECOLE
GIS
CENTRALE
Pro
DE
bre
LILLE
de
THESE
EST
présen
Op
tée
c
en
Lab
vue
AS,
d'obtenir
de
le
A
grade
op
de
HDR,
DOCTEUR
T
en
Miloudi
Sp
R
écialité
de
:
,
Automatique
chnolo
et
aud'Huy,
Informatique
Ec
Industrielle
préparée
par
de
Meriem
trale
Rafra
Reclus,
Doctora
6,
t
ctorale
délivré
Ocer
p
e
ar
e
l
enne
'Ecole
Nada
Centrale
de
de
gie
Lille
oyes
Titre
M.
de
Koursi,
la
Unité
thèse
cher
:
(INRETS)
Une
M.
appro
i
c
e
he
T
harmonisée
Encadran
p
Bour
our
e
l'év
enc
aluation
Centr
de
le
la
sein
sécurité
EST
des
et
systèmes
l'Ecole
ferro
Lille
viaires
Rue
De
R
la
UMR
décomp
Cen
osition
École
fonctionnelle
SPI
au
ject
mo
,
dèle
genc
comp
F
ortemen
oviair
tal
Eur
Souten
é
ue
Mem
le
Mme
2
Matta,
6
Université
No
T
v
chnolo
e
de
m
r
bre
Directeur
2010
thèse
dev
El
an
El
t
Dir
le
cteur,
jury
de
d'exa
e
men
che
:
AS
Rapp
Co-Directeur
orteur
thèse
M.
Pasc
A
Y
b
m
del
Dir
lah
cteur,
El
en
Moudni,
e
Pr
gies
ofesseur,
t
Université
Thomas
de
de
T
Maîtr
e
de
chnolo
onfér
gie
es,
de
ole
Belfort-Montb
ale
éliar
Lil
d
Thèse
Rapp
au
orteur
des
M.
oratoires
Stefano
AS
R
l'INRETS
ic
LA
ci,
de
Pr
Cen
ofesseur,
de
Université
EST
de
20
R
Elisée
ome
IN

ETS
L
GIS,
a
814
Sapienza
Ecole

trale
Mem
Lille
bre
Do
Mme
072
Nathalie
Duquenne,
op
sa
d'esprit
ts
c
Un
tra
momen
c
t
thèse.
émouv
de
an
Yim,
t
des
p
de
our
en
le
son
do
que,
ctoran
de
t
herc
est
l'ingénieur.
le
Bour-
jour
t
où
salue
il
égard,
en
ce
treprend
les
d'é
ce
crire
oninil
ses
t
remer-
particulier
ciemen
de
ts.
est
T
en
out
j'imaginais
d'ab
nécessi
ord,
jectif
cela
t
signie
thèse,
que
e
la
nos

compréhen-
n
ects
est
sse
pro
mon
c
t
he,
our
ce
de
qui
remercie
est
d'a
en
l'ab
soi
Remerciemen
une
sa
très
et
b
inconditionnel
onne
années
nouv
m'a
elle.
à
P
le
ar
r
ailleurs,
he,
c
t
ela
des
p
l'exercice
ermet
critique,
de
au
r
et
e
é
mercier
atteindre
toutes
propre
les
remercie
p
P
ersonnes
co-directeur
qui
M.
on
,
t
t.
supp
ers
orté
ils
nos
orté
h
plus
umeurs
ers
dépressiv
sujet.
es
la
au
l'ouv
cours
on
des
à
années
me
de
large
thèse.
erté
Je
à
tiens
v
à
he
saluer
Je
ici
t
les
roi
p
oir
ersonnes
et
qui,
t
de
v
près
our
ou
conance
de
disp
loin,
ité
on
surtout
t
soutien
con
duran
tribué
ces
à
de
la
Il
concrétisation
en
de
aidée
c
comprendre
e
dans
tra
domaine
v
la
ail
e
de
herc
thèse
il
de
égalemen
do
nécessaire
ctorat.
faire
Je
compromis
remerci
tre
e
libre
par
l'esprit
a
que
v
propre
ance
c
ceux
heur,
don
la
t
t
le
d'agir
nom
our
n'apparaît
l'ob
pas
xé,
dans
à
ces
Je
remerciemen
égalemen
ts
M.
et
ascal
qu
mon
i
de
m'on
et
t
Thomas
aidée
deaud'Huy
d'une
mon
manière
ncadran
ou
Au
d'une
v
autre.
de
Ils
discussions,
se
m'on
reconnaîtron
app
t.
une
T
sion
out
approfondie
d'
div
ab
asp
ord,
du
mes
Je
remerciemen
aussi
ts
souple
s'adressen
et
t
erture
à
qu'ils
la
t
p
trées
ersonne
mon
qui
en
m'a
laissan
prop
une
osé
marge
le
lib
su
p
j
mener
et
terme
de
tra
thèse
ail
:
rec
M.
r
El
he.
Miloudi
les
El
particulièremen
K
tous
oursi,
t
mon
s
directeur
v
de
cru
thèse.
moi
Je
à
souh
outissemen
ai
de
te
tra
le
ail.
remercier
pc
Enn,
tous
suis
.
très
bureau
reconnaissan
présen
te
Merci
à
p
M.
soutien
Ab
qui
dellah
évidemmen
El
Cette
Moudni
a
et
diraien
M.
do
Stefano
ts,
Ricci
son
d'a
t
v
n'oublie
oir
alemen
accepté
donnés.
le
et
rôle
les
de
aussi.
rapp
complets
orteur.
ts
Le
amie
regard
ma
critique,
b
juste
hez
et
et
a
s'adresse
visé
:
qu'ils
Nathalie,
on
qu'à
t
tour
p
et
orté
des
sur

mes
et
tra
main
v
de
aux
p
ne
Ils
p
écarter
eut
et
que
p
m'encourager
Maman,
à
ne
être
Mo
encore
p
plus
is
p
les
erspicace
comme
et
certains,
engagée
mel
dans
our
mes
années
rec
tes
herc
c
hes.
sa
Un
encou-
grand
Ma
merci
à
à
et
Mme
p
Nada
logistique
Matta
our
et
;
Mme
qui
Nathalie
tour
Duquenne
collègues
d'a
Sonia,
v
rançois.
oir
le
accepté
Seb,
de
mieux
faire
Merci
partie
à
de
p
mon
coups
jury
m'on
et
v
d'év
je
aluer
ma
ce
son
tra
nel
v
t
ail
p
.
doutes,
Mes
l
c
les
haleureux
est
remerci
la
emen
P
ts
et
à
remerciemen
tous
t
m
men
es
z
collègues
me
de
p
l'
derniers
inrets
la
-
là
Villeneuv
Je
e
et,
d'A
le
scq
t
p

our
ju-
l'accueil
le
f
P
amilial
nos
qu'ils
elles
m'on
de
t
ctoran
réserv
c
é
les
duran
h'tis,
t
our
mon
présence
séjour
ses
à
ragemen
l'
merci.
inrets
gratitude
.
aussi
A
mes
cet
ollègues
égard,
amis
je
Olivier,
tiens
our
à
soutien
exprimer
;
ma
p
reconnaissance
son
à
administratif
M.
aini
Gérard
ceux
Couvreur,
on
p
été
our
à
son
mes
soutien
de
ainsi
:
que
Jorey
les
F
eorts
Je
qu'il
pas
a
soutien
réalisés
deux
an

que
valent
j'
qu'un
ac