Validation temporelle et déploiement d'une application de contrôle industrielle à base de composants, Temporal validation and deployment of component based industrial control applications

De
Publié par

Sous la direction de Françoise Simonot-Lion, Xavier Rebeuf
Thèse soutenue le 02 février 2007: INPL
Dans cette thèse, nous nous intéressons à la validation temporelle ainsi qu'au déploiement d'applications de contrôle industriel à base de composants. La technologie des composants retenue est celle des Blocs Fonctionnels définie dans la norme industrielle IEC 61499. Un Bloc Fonctionnel est défini comme un composant réactif supportant des fonctionnalités d'une application. L'avantage de cette norme, connue dans l'industrie, est la description statique de l'application ainsi que de son support d'exécution. Une première contribution de la thèse est l'interprétation des différents concepts définis dans la norme. Nous précisons, en particulier, la dynamique du composant en vue de décrire un comportement déterministe de l'application. Pour appliquer une validation temporelle exhaustive, nous proposons un modèle de comportement d'un Bloc Fonctionnel à l'aide du formalisme des automates temporisés. D'autre part, nous fournissons une sémantique au concept de réseau de Blocs Fonctionnels pour décrire une application comme une composition de Blocs. Une deuxième contribution de la thèse est le déploiement de tels réseaux sur une architecture distribuée multi-tâches tout en respectant des propriétés sur les temps de réponse de bout en bout. Nous transformons un réseau de Blocs Fonctionnels vers un ensemble de tâches élémentaires dépendantes, appelées actions. Cette transformation permet l'exploitation de résultats d'ordonnancement pour valider la correction temporelle de l'application. Pour déployer les blocs d'une application, nous proposons une approche hybride alliant un ordonnancement statique non-préemptif et un autre ordonnancement en ligne préemptif. L'ordonnancement statique permet la construction des tâches s'exécutant sur chaque calculateur. Ces tâches sont vues comme des séquencements statiques d'actions. Elles sont alors à ordonnancer dynamiquement selon une politique préemptive reposant sur EDF (Earliest Deadline First). Grâce à cette approche, nous réduisons le nombre de commutation de contexte en regroupant les actions au sein des tâches. De plus l'ordonnancement dynamique préemptif augmente la faisabilité du système. Enfin, une dernière contribution est une extension de la deuxième. Nous proposons une approche d'allocation de réseaux de blocs fonctionnels sur un support d'exécution distribué. Cette allocation, basée sur une heuristique de Liste, se repose sur la méthode hybride pour assurer un déploiement faisable de l'application. Le problème d'allocation est de trouver pour chaque bloc fonctionnel le calculateur capable de l'exécuter tout en respectant des contraintes fonctionnelles, temporelles et de support d'exécution. Notons enfin que l'heuristique proposée se base sur une technique de retour-arrière pour augmenter l'espace de solutions.
-Approche par composants
-Iec 61499
-Systèmes de contrôle industriel
-Model-checking
-Systèmes temps-réel embarqués
-Ordonnancement
-Blocs fonctionnels
-Déploiement et allocation
This thesis deals with the temporal validation and the deployment of component-based industrial control applications. We are interested in the Function Blocks approach, defined in the IEC 61499 standard, as a well known component based technology in the industry. A Function Block is an event triggered component owning data to support the application functionalities. The advantage of this technology is the taking into account of the application and also its execution support. The first thesis contribution deals with the interpretation of the different concepts defined in the standard. In particular, we propose a policy defining a deterministic behavior of a FB. To apply an exhaustive temporal validation of the application, we propose a behavioral model of a Block as Timed Automata. On the other hand, we propose a semantic for the concept of FBs networks to develop industrial control applications. The second thesis contribution deals with the deployment of FBs networks in a distributed multi-tasking architecture. Such deployment has to respect classical End to End Response Time Bounds as temporal constraints. To validate the temporal behavior of an application, we propose an approach transforming its blocks into an actions system with precedence constraints. The purpose is to exploit previous theories on the scheduling of real-time systems. To deploy FBs networks in feasible OS tasks, we propose a Hybrid scheduling approach combining an off-line non-preemptive scheduling and an on-line preemptive one. The off-line scheduling allows to construct OS tasks from FBs, whereas the on-line one allows to schedule these tasks according to the classical EDF policy. A constructed OS task is an actions sequence defining an execution scenario of the application. Thanks to this approach, we reduce the context switching at run-time by merging application actions in OS tasks. In addition, the system feasibility is increased by applying an on-line preemptive policy. Finally, the last thesis contribution is an extension of the previous one. We propose an approach allocating FBs networks in a distributed architecture. Based on a heuristic, such approach uses the hybrid method to construct feasible OS tasks in calculators. The allocation problem of a particular application FB is to look for a corresponding calculator while respecting functional, temporal and execution support constraints. We note that the proposed heuristic is based on a back-tracking technic to increase the solutions space.
-Component approach
-Industrial control systems
-Embedded real-time systems
-Function blocks
-Iec 61499
-Model-checking
-Real-time scheduling
-Deployment and allocation
Source: http://www.theses.fr/2007INPL009N/document
Publié le : mardi 25 octobre 2011
Lecture(s) : 32
Tags :
Nombre de pages : 152
Voir plus Voir moins


AVERTISSEMENT



Ce document est le fruit d’un long travail approuvé par le jury de
soutenance et mis à disposition de l’ensemble de la communauté
universitaire élargie.
Il est soumis à la propriété intellectuelle de l’auteur au même titre que sa
version papier. Ceci implique une obligation de citation et de
référencement lors de l’utilisation de ce document.
D’autre part, toute contrefaçon, plagiat, reproduction illicite entraîne une
poursuite pénale.

Contact SCD INPL : scdinpl@inpl-nancy.fr




LIENS




Code de la propriété intellectuelle. Articles L 122.4
Code de la propriété intellectuelle. Articles L 335.2 – L 335.10
http://www.cfcopies.com/V2/leg/leg_droi.php
http://www.culture.gouv.fr/culture/infos-pratiques/droits/protection.htm
D¶epartement de formation doctorale en informatique
Institut National ¶Ecole doctorale IAEM Lorraine
Polytechnique de Lorraine
Validation temporelle et d¶eploiement
d’une application de contr^ole industriel
µa base de composants
µTHESE
pr¶esent¶ee et soutenue publiquement le Vendredi 2 f¶evrier 2007
pour l’obtention du
Doctorat de l’Institut National Polytechnique de Lorraine
(sp¶ecialit¶e informatique)
par
Mohamed KHALGUI
Composition du jury
Pr¶esident : Professeur Jean-Marc J¶ez¶equel. Universit¶e de Renne1. France.
¶Rapporteurs : Faure. Ecole Normale Sup¶erieur de Cachan. France.
Professeur Charles Andr¶e. Universit¶e de Nice - Sophia Antipolis. France.
Examinateurs : Samir Ben Ahmed. Universit¶e Tunis El Manar. Tunisie.
Professeure Fran»coise Simonot-Lion. Institut Nationale Polytechnique de Lorraine. France.
MdC Anne Boyer. Universit¶e Nancy 2. France.
MdC Xavier Rebeuf. Institut Nationale Polytechnique de Lorraine. France.
Laboratoire Lorrain de Recherche en Informatique et ses Applications | UMR 7503Mis
classe
la
en
thloria.
page
avec(le
et
oir
ts
man
Je
p
tiens
à
à
F
remercier
thèse.
ma
A
directrice
exprimer
de

thèse
je
Madame
A
F
téressan
r
p
ançoise
à
Simonot-Lion
sup
,
aidé
p
v
our
L
l'ac-
our
ceuil
TRIO
dans
cumen
l'équip
et
e
rapp
TRIO
Monsieur
et
our
p
p
our
Anne
ses
au
remarques
rends
in
ts
téressan
particulier),
tes
pas
duran
de
t
ici
mes
DEA
années
Je
de
ts
thèse.
Benini
Je
hes
tiens
conférences
à
bres
remercier
les
particulièremen
l'ESIAL.
t
un
mon
p
encadran
p
t
tique....
de
Monsieur
thèse
é
Monsieur
an-Mar
Xavier
e
R
remarques
eb
prop
euf
l'amélioration
d'a

v
y
oir
sa
dirigé
de
tous
ui,
mes
hommage
tra
mes
v
études
aux
Khabthani
dans
et
un
je
cadre
remercier
de
Khalfal
tra
v
v
v
ail
F
comm
faire
unicatif
des
et
de
amical.
aussi
Je
sincères
suis

recon-
enc
naîssan
m'a
t
les
p
es
our
à
son
des
eort
les
et
l'équip
son
à
suivi
au
duran
et
t
ce
toutes
n'est
mes
scien
années
le
de
ses
thèse.
ses
Je
le
le
gloire
remercie
Remerciemen
égalemen
orteurs
t
Charles
p
ndr
our
et
ses
Je
conseils,
c
ses
aur
encouragemen
p
ts,
les
son
in
supp
tes
ort,
osées
son
our
soutien
du
et
uscrit.
surtout
Madame
sa
Bo
gen
er
tillesse...
our
Bra
participation
v
jury
o
ma
Xa
Aujourd'h
vier
je
p
un
our
particulier
ton
tous
talen
enseignan
t
des
d'homme
primaires
de
feu
terrain
en
diplomate
secondaires
et
aussi
correct....
érieurs.
Je
n'oublis
tiens
à
à
Monsieur
remercier
del
égalemen
lah
t,
m'a

oir
Monsieur
à
Je
enir
an-Mar
en
c
rance
Jézé
our
quel
un
p
et
our
tra
sa
aux
présidence
thèse....
de
tiens
mon
à
jury
mes
de
remerciemen
thèse.
à,

Madame
Mon
aur
Pr
e
ofesseur
de
à
v
l'université
facilité
de
tâc
T
administrativ
unis
p
Monsieur
aller
Samir
des
Ben
et
A
séminaires.
hme
tous
d
mem
p
de
our
e
ses
et
conseils,
tous
son
amis
soutien
Loria,
et
l'EEIGM
ses
à
encouragemen
Enn,
ts
do
depuis
t
les
pas
années
idéal
de
tique,
la
remercie
"fac"
lecteur
ainsi
our
que
analyses
sa
surtout
participation
critiques
au
our
jury
progrès
de
la
ma
scien
thèse.
1

mes2grande
Olfa...
ma
dédie
toute
ce
3
travail,
femme
à
à
mes
ma
pa
famille...
rents...
Je
à4se
de
t
Dans
heuristique
cette
y
thèse,
à
nous
extension
nous
haque
in
barqués,
téressons
allian
à
Ces
la
Deadline
v
t
alidation
de
temp
déploiemen
orelle
train
ainsi
Appro
qu'au
t
déploiemen
prop
t
un
d'applications
tâc
de
séquencemen
con
préemptiv
trôle
nous
industriel
au
à
système.
base
ap-
de
d'exécution
comp
métho
osan
cation
ts.
l'exécuter
La
ort
tec
p
hnologie
de
des
del-c
comp
l'application.
osan
cs
ts
c
reten
t
ue
en
est
met
celle
sur
des
t
Blo
Elles
cs
selon
F
t
onctionnels
cette
dénie
bre
dans
regroupan
la
hes.
norme
te
industrielle
con
IEC
Nous
61499.
d'allo
Un
sur
Blo
cation,
c
rep
F
p
onctionnel
l'application.
est
er
déni
le
comme
ectan
un
orelles
comp
que
osan
tec
t
l'espace
réactif
comp
supp
Systèmes
ortan
onctionnels,
t
t
des
5
fonctionnalités
our
d'une
les
application.
application,
L'a
une
v
h
an-
un
tage
non-préemptif
de
ordonnancemen
cette
préemptif.
norme,
p
conn
construction
ue
s'exécutan
dans
haque
l'industrie,
hes
est
comme
la
statiques
description
t
statique
dynamiquemen
de
p
l'application
rep
ainsi
EDF
que
Grâce
de
c
son
le
supp
comm
ort
texte
d'exécution.
les
Une
des
première
plus
con
préemptif
tribution
faisabilité
de
une
la
est
thèse
la
est
osons
l'in
c
terprétation
de
des
cs
diéren
supp
ts
Cette
concepts
sur
dénis
Liste,
dans
sur
la
h
norme.
assurer
Nous
faisable
précisons,
problème
en
de
particulier,
our
la
c
dynamique
capable
du
en
comp
des
osan
fonctionnelles,
t
de
en
Notons
vue
prop
de
sur
décrire
de
un
augmen
com-
solutions.
p
he
ortemen
ts,
t
trôle
déterministe
emps-Réel
de
cs
l'application.
61499,
P
king,
our
Dé-
appliquer
Allo
une
de
v
P
alidation
déplo
temp
er
orelle
blo
exhaustiv
d'une
e,
nous
nous
osons
prop
appro
osons
he
un
ybride
mo
t
dèle
ordonnancemen
de
statique
comp
et
ortemen
autre
t
t
d'un
ligne
Blo
L'ordonnancemen
c
statique
F
er-
onctionnel
la
à
des
l'aide
hes
du
t
formalisme
c
des
calculateur.
automates
tâc
temp
son
orisés.
vues
D'autre
des
part,
ts
nous
d'actions.
fournissons
son
une
alors
séman
ordonnancer
tique
t
au
une
concept
olitique
de
e
réseau
osan
de
sur
Blo
(Earliest
cs
First).
F
à
onctionnels
appro
p
he,
our
réduisons
décrire
nom
une
de
application
utation
comme
con
une
en
comp
t
osition
actions
de
sein
Blo
tâc
cs.
De
Une
l'ordonnancemen
deuxième
dynamique
con
augmen
tribution
la
de
du
la
Enn,
thèse
dernière
est
tribution
le
une
déploiemen
de
t
deuxième.
de
prop
tels
une
réseaux
pro
sur
he
une
cation
arc
réseaux
hitec-
blo
ture
fonctionnels
distribuée
un
m
ort
ulti-tâc
distribué.
hes
allo
tout
basée
en
une
resp
de
ectan
se
t
ose
des
la
propriétés
de
sur
ybride
les
our
temps
un
de
t
rép
de
onse
Le
de
d'allo
b
est
out
trouv
en
p
b
c
out.
blo
Nous
fonctionnel
transformons
calculateur
un
de
réseau
tout
de
resp
Blo
t
cs
con
F
tes
onctionnels
temp
v
et
ers
supp
un
d'exécution.
ensem
enn
ble
l'heuristique
de
osée
tâc
base
hes
une
élé-
hnique
men
retour-arrière
taires
our
dép
ter
endan
de
tes,
Mots-clés:
app
c
elées
par
actions.
osan
Cette
Systèmes
transformation
Con
p
Industriel,
ermet
T
l'exploitation
Em
de
Blo
résultats
F
d'ordonnancemen
IEC
t
Mo
p
hec
our
Ordonnancemen
v
temps-réel,
alider
ploiemen
la
et
correction
cation.
temp
Résumé
orelleosed
approac
com
This
w
thesis
exploit
deals
ws
with
on-line
the
of
temp
F
oral
w
v
o-line
alidation
OS
and
actions
the
of
deplo
the
ymen
ecting
t
Keyw
of
t
comp
real-time
onen
prop
t-based
heduling
indus-
tasks
trial
the
con
execution
trol
switc
applications.
feasibilit
W
the
e
an
are
on
in
OS
terested
ok
in
constrain
the
king
F
Con
unction
del-c
Blo
purp
c
the
ks
deplo
approac
OS
h,
sc
dened
line
in
preemptiv
the
ws
IEC
the
61499
these
standard,
olicy
as
actions
a
application.
w
reduce
ell
b
kno
In
wn
b
comp
olicy
onen
tribution
t
W
based
allo
tec
distributed
hnology
h
in
d
the
The
industry
FB
.
onding
A
and
F
note
unction
on
Blo
increase
c
t
k
b
is
ks,
an
sc
ev
6
en
is
t
theories
triggered
heduling
comp
T
onen
FBs
t
in
o
w
wning
a
data
approac
to
an
supp
e
ort
an
the
one.
application
heduling
functionalities.
construct
The
FBs,
adv
one
an
sc
tage
according
of
EDF
this
A
tec
is
hnology
dening
is
of
the
to
taking
w
in
con
to
at
accoun
merging
t
OS
of
the
the
is
application
applying
and
e
also
Finally
its
thesis
execution
an
supp
previous
ort.
prop
The
proac
rst
FBs
thesis
in
con
hitecture.
tribution
heuristic,
deals
h
with
ybrid
the
construct
in
in
terpretation
cation
of
particular
the
to
dieren
a
t
while
concepts
temp
dened
supp
in
W
the
the
standard.
is
In
bac
particular,
hnic
w
solutions
e
Comp
prop
h,
ose
Systems,
a
Real-Time
p
Blo
olicy
61499,
dening
king,
a
Deplo
deterministic
Allo
b
The
eha
ose
vior
to
of
previous
a
on
FB.
sc
T
of
o
systems.
apply
o
an
y
exhaustiv
net
e
orks
temp
feasible
oral
tasks,
v
e
alidation
ose
of
Hybrid
the
heduling
application,
h
w
bining
e
o-
prop
non-preemptiv
ose
sc
a
and
b
on-line
eha
e
vioral
The
mo
sc
del
allo
of
to
a
OS
Blo
from
c
whereas
k
on-line
as
allo
Timed
to
Automata.
hedule
On
tasks
the
to
other
classical
hand,
p
w
.
e
constructed
prop
task
ose
an
a
sequence
seman
an
tic
scenario
for
the
the
Thanks
concept
this
of
h,
FBs
e
net
the
w
text
orks
hing
to
run-time
dev
y
elop
application
industrial
in
con
tasks.
trol
addition,
applications.
system
The
y
second
increased
thesis
y
con
an
tribution
preemptiv
deals
p
with
.
the
,
deplo
last
ymen
con
t
is
of
extension
FBs
the
net
one.
w
e
orks
ose
in
ap-
a
h
distributed
cating
m
net
ulti-tasking
orks
arc
a
hitecture.
arc
Suc
Based
h
a
deplo
suc
ymen
approac
t
uses
has
h
to
metho
resp
to
ect
feasible
classical
tasks
End
calculators.
to
allo
End
problem
Resp
a
onse
application
Time
is
Bounds
lo
as
for
temp
corresp
oral
calculator
constrain
resp
ts.
functional,
T
oral
o
execution
v
ort
alidate
ts.
the
e
temp
that
oral
prop
b
heuristic
eha
based
vior
a
of
k-trac
an
tec
application,
to
w
the
e
space.
pro-
ords:
p
onen
ose
approac
an
Industrial
approac
trol
h
Em
transforming
edded
its
Systems,
blo
unction
c
c
ks
IEC
in
Mo
to
hec
an
Real-Time
actions
heduling
system
ymen
with
and
precedence
cation.
constrain
Abstract
ts..
.
sur
able
cs
des
.
matières
.
Chapitre
.
1
.
In
de
tro
.
duction
.
Chapitre
.
2
.
État
.
de
.
l'art
.
2.1
.
In
onctionnel
tro
existan
duction
.
.
problèmes
.
2.5.2
.
.
.
hnologies
.
.
.
.
.
.
.
Chapitre
.
tation
.
.
.
.
.
3.2
.
.
.
3.2.1
.
36
.
.
.
.
.
.
.
.
.
Prop
.
.
.
.
.
.
.
à
.
.
.
.
.
Analyses
.
ts
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
de
.
prop
.
3.1
.
.
17
.
2.2
.
Dénitions
.
du
.
concept
de
de
.
comp
.
osan
.
t
de
.
.
.
d'un
.
.
.
.
.
.
.
T
.
.
.
.
.
.
.
.
.
.
.
séman
.
.
.
3.4.1
.
comp
.
.
.
.
.
.
.
tec
.
osition
.
.
.
.
.
.
.
.
.
29
17
deux
2.3
comp
F
.
ormalisation
.
de
.
la
.
notion
2.6
de
.
comp
.
osan
.
ts
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Cadre
.
des
.
onctionnels
.
d'in
.
la
.
tro
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
tation
2.3.1
norme
Mo
.
dèles
.
de
.
comp
.
osan
.
ts
.
.
et
.
d'un
.
trôle
.
.
.
Mo
.
c
.
.
.
.
.
.
.
.
.
.
.
.
.
38
.
v
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45
.
d'in
.
et
.
norme
.
.
19
.
2.3.2
tication
Mo
déterminisme
dèle
t
de
.
comp
7
osan
.
ts
.
p
.
our
29
leur
Les
comp
hnologies
osition
comp
.
hors-ligne
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.5.3
.
des
.
tec
.
de
.
osan
.
.
21
.
2.4
.
Les
.
langages
.
de
.
description
.
d'arc
.
hitecture
32
.
Conclusions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
32
.
3
23
normatif
2.4.1
dénition
Caractéristiques
Blo
.
F
.
et
.
osition
.
terpré-
.
de
.
norme
.
In
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
33
.
Présen
.
générale
.
la
.
61499
.
.
24
.
2.4.2
.
Exemple
.
de
.
langages
.
de
.
Description
.
d'Arc
.
hitectures
.
.
.
.
36
.
Dénitions
.
concepts
.
base
.
système
.
con
.
industriel
.
.
.
.
.
3.2.2
.
dèle
25
Blo
2.5
F
Les
.
tec
.
hnologies
.
de
.
comp
.
osan
.
ts
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.3
.
ra
.
aux
.
ts
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
29
3.4
2.5.1
osition
Les
terprétation
tec
tique
hnologies
restrictions
à
la
comp
.
osition
.
en-ligne
.
.
.
.
48
.
Iden
.
de
.
de
.
du
.
ortemen
.
.
.
.
.
.
.
48
.
T
.

Soyez le premier à déposer un commentaire !

17/1000 caractères maximum.

Diffusez cette publication

Vous aimerez aussi