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

Mohamed Khalgui

Description

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

Sujets

• Ordonnancement

Informations

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

Extrait

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 : [e-mail]




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&#