Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

Conception conjointe optimisée de lois de contrôle et d'ordonnancement, Integrated optimal control and scheduling co-design

De
170 pages
Sous la direction de Françoise Simonot-Lion, Ye-Qiong Song
Thèse soutenue le 15 janvier 2009: INPL
Le cadre de ce travail est l’étude coordonnée de lois de contrôle et d’ordonnancement. Le premier objectif est de proposer et évaluer une approche de contrôle de la dégradation de la Qualité de Contrôle (QdC) par rejet sélectif d’instances de tâches ou de messages selon le modèle (m,k)-firm. Plus particulièrement, nous avons étudié l’impact de distribution de rejets sur la QdC d'une boucle de contrôle et, sur la base des résultats obtenus, nous avons spécifié une méthode de co-conception permettant de déterminer les paramètres (gain) optimaux de la loi de contrôle et les paramètres de la contrainte (m,k)-firm spécifiant le rejet sélectif d’instances. Cette proposition a été validée sur modèles à l’aide de techniques analytiques, par simulation ainsi que grâce à des expérimentations. Notre deuxième objectif est d'étudier le problème de l'ordonnancement d'un ensemble de tâches temps réel réalisant chacune les algorithmes de contrôle dans une application centralisée évolutive. Nous proposons un mécanisme d'ordonnancement qui ajuste en ligne les contraintes (m,k)-firm des tâches suivant la configuration courante de l'application de manière à ce qu’un critère reflétant la performance globale de l'application soit optimal à tout instant
-Temps Réel
-Ordonnancement
-Optimisation
-Dégradation acceptable
-Qualité de contrôle
-(mk)-firm
In this thesis, we study a coordinated approach for the design of control laws and scheduling parameters. The first objective is to propose and evaluate a technique to control the degradation of the quality of control (QoC) by selectively rejecting task or message instances according to the (m,k)-firm model. More specifically, we have studied the impact of the (m,k)-firm packet dropout policy on the QoC of a control loop. Based on the obtained results, we have specified a co-design method for determining the parameters (gain) of the optimal control law and the (m,k)-firm constraint specifying the selective rejet of instances. This proposal was validated by using analytical techniques, simulation and experimentation activities. The second objective is to address the scheduling problem of a set of real-time tasks where each task implements a control law in a centralized scalable application. We proposed a scheduling mechanism which determines on line, according to the current system configuration, a (m,k)-constraint based scheduling strategy to apply to each task so that the criterion reflecting the overall performance of the application is optimal at all times
-Real-Time
-Scheduling
-Optimization
-Graceful degradation
-QoC
-(mk)-firm
Source: http://www.theses.fr/2009INPL004N/document
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
Departement de formation doctorale en informatique
Institut National Ecole doctorale IAEM Lorraine
Polytechnique de Lorraine
Conception conjointe optimisee de lois
de contr^ ole et d’ordonnancement
THESE
presentee et soutenue publiquement le 15 Janvier 2009
pour l’obtention du
Doctorat de l’Institut National Polytechnique de Lorraine
(specialite informatique)
par
Ning JIA
Composition du jury
Rapporteurs : Sylviane GENTIL
Daniel SIMON
Examinateurs : Fran cois CHARPILLET
Pascal RICHARD
Fran coise SIMONOT-LION
Ye-Qiong SONG
Laboratoire Lorrain de Recherche en Informatique et ses Applications | UMR 7503Mis
classe
la
en
thloria.
page
avecrançois
Gen
mes
ts
Ric
Je
de
remercie
Daniel
tout
de
d'ab
de
ord
v
Madame
i
F
mes
rançoise
à
Simonot-Lion,
Monsieur
resp
n
onsable
oitiers.
de
Je
l'équip
et
e
les
T
leur
emps
p
Réel
Je
et
à
In
e
terop
;
é
à
rab
a
ilité
à
(TRIO)

du
l'univ
Loria,
v
p
mon
our
n
son
son
encouragemen
visées.
t
t
p
les
ermanen
p
t
t
et
in
son
t
son
v
tien
à
depuis
remerciemen
mon

stage
Chargé
de
herc
DEA.
Rhone-Alp
Qu'elle
Madame
soit
,
ici
;
assurée
rançois
de
illet,
mon
herc
grand
Nancy
resp
Est
ect
P
et
Professeur
du
de
plaisir
our
que
fait
j'ai
er
à
de
tra
particu
v
Monsieur
ailler
p
a
patien
v
corrections
ec
remerciemen
e
t
l
ers
le.
bres
J'exprime
mem
toute
e
ma
u
reconnaissance
vivialité
à
dernières
Monsieur
un
Y
térêt
e-Qiong
ertinen
Song
à
p
tra
our
aux.
m'a
tiens
v
exprimer
oir
vifs
acco
ts
rd
:
é
Monsieur
sa
Simon,
conance
d
depuis
rec
le
he
DEA
l'INRIA
et
es
tout

au
Sylviane
long
til
de
Professeur
ce
l'INPG
tra

v
F
ail,
Ch
et
rp
p
Directeur
our
rec
sa
he
disp
l'INRIA
onibilité,
Gra
son
d
éco
;
u
Monsieur
te
ascal
et
hard,
ses
à
conseils
ersité
qui
P
m'on
p
t
m'a
toujours
oir
été
l'honneur
protables.
particip
Un
à
grand
jury
merci
Thèse.
à
remercie
Madmoiselle
lièreme
Fla
t
via
F
F
Simonot
elicioni
our
p
appui
our
t
le
ses
tra
a
v
Mes
a
ts
i
on
l
égalemen
que
v
nous
tous
a
mem
v
et
ons
anciens
fait
bres
en
l'équip
comm
TRIO
un
o
et
r
d'a
con
v
duran
oir
ces
p
années.
o
Remerciemen
rtéiiour
et
comp
mes
iii
pa
leur
rents
réhension
et
soutiens.
luan,
A
piv.
Conception
.
able
.
des
Classes
matières
l'automatique)
In
.
tro
précéden
duction
in
générale
système
7
.
1
.
Conception
.
conjoin
.
te
te
de
.
commande
.
e
.
t
.
d'ordonnancemen
.
t
.
.
18
.
compte
.
.
.
.
.
.
.
problème
.
.
.
les
.
.
.
.
.
Solution
.
.
8
2
2
et
Solution
.
en
.
visagée
.
:
.
conception
.
conj
.
o
.
i
.
n
appro
te
our
a
plate-forme
v
.
ec
.
rejet
.
sélectif
.
selon
.
le
.
mo
1.3.1
d
.
è
.
l
.
e
Etat
(
de
m,k
.
)-rm
des
.
.
.
.
.
.
.
c
.
.
.
.
.
.
.
réel
.
)-rm
.
t
.
.
.
.
.
.
.
.
.
.
.
2.1.2
.
.
.
.
.
.
.
problème
.
.
.
.
.
.
.
.
.
.
.
.
.
Diéren
.
hes
.
tes
.
prise
.
e
.
tation
.
.
.
.
.
.
.
25
.
te
.
.
10
.
3
.
Les
.
ob
.
j
.
ec
.
ti
.
fs
tation
et
.
con
.
tributions
.
.
.
.
.
.
.
.
27
.
l'art
.
c
.
conception
.
.
.
.
.
1.3.3
.
c
.
.
.
.
.
.
.
.
.
.
.
34
.
visagée
.
thèse
.
.
.
.
.
.
.
.
.
.
.
.
.
t
.
con
12
(
4
Ordonnancemen
Organisation
d
du
.
do
.
cumen
.
t
.
.
37
.
ts
.
.
.
.
.
.
.
.
.
.
.
.
.
dèle
.
.
.
.
.
.
.
.
.
.
.
.
.
1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
13
.
1
1.2.2
Problématique
tes
et
c
tra
(de
v
existan
aux
p
relatifs
la
1.1
en
Con
d
texte
la
.
d'implémen
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1.3
.
conjoin
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
.
Présen
.
du
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
.
1.1.1
.
Système
.
n
.
umérique
1.3.2
de
de
con
sur
trôle-commande
appro
.
hes
.
la
.
conjoin
.
.
.
.
.
.
.
.
.
29
.
Limites
.
appro
.
hes
.
tes
.
.
.
.
.
.
.
.
15
.
1.1.2
.
Ev
.
aluation
.
du
.
système
.
de
1.4
con
en
trôle-commande
dans
.
ette
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
34
16
Ordonnancemen
1.2
temps
Prise
sous
en
tra
compte
te
de
m,k
la
2.1
plate-forme
t
d'implémen
Analyse
tation
'ordonnancemen
dans
.
la
.
sp
.
écication
.
du
.
système
.
d
.
e
.
con
.
trôle-commande
2.1.1
.
d'ordonnancemen
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
38
.
Mo
.
de
.
considéré
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
18
.
1.2.1
.
Présen
39
tation
T
dul
.
.
able
60
des
.
matièr
.
es
.
2.1.3
.
Solutions
.
aux
.
problèmes
consécutifs
d
optimisé
'ordonnancemen
.
t
.
.
.
.
.
.
.
.
(inuence
.
Construction,
.
.
.
.
.
tillons
.
.
.
.
.
.
.
.
.
.
.
.
.
.
39
.
2.1.3.1
d
Algorithmes
.
d'ordonnancemen
tillons
t
.
.
Rôle
.
1)
.
.
.
sions
.
.
.
.
.
.
.
de
.
l
.
.
.
.
.
(
.
.
.
.
.
.
.
.
.
.
39
Exemple
2.1.3.2
.
Quelques
.
c
.
onditions
.
de
.
faisabilité
.
.
.
.
.
.
Sp
.
.
.
.
.
60
.
su
.
de
.
.
.
.
.
.
.
d'éc
.
gueur
.
.
.
.
.
.
39
pattern
2.2
.
Etat
.
de
.
l'art
Système
sur
.
les
.
tra
.
v
.
aux
e
autour
65
du
su
mo
.
dèle
.
de
.
la
.
con
d'une
train
d'un
te
.
(
.
m,k
.
)-rm
.
.
.
.
.
42
.
2.2.1
.
Le
.
s
.
caractéristiques
58
du
umérique
mo
.
dèle
.
de
.
la
.
con
.
train
.
te
.
(
.
m,k
Système
)-rm
.
.
.
.
.
.
.
.
.
.
.
.
.
42
60
2.2.2
de
Les
cas
algorithmes
.
d'ordonnancemen
.
t
.
basé
.
sur
Inuence
le
longueur
mo
d'éc
dèle
rejetés
(
.
m,k
.
)-rm
.
et
.
les
.
tra
.
v
60
aux
s
existan
tillons
ts
la
.
suite
.
.
.
.
.
.
.
.
.
.
.
62
.
aluation
.
et
.
cet
.
.
.
.
.
.
.
.
.
.
.
63
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4.2.1
.
longueur
.
de
.
.
.
Inuence
.
longueur
43
d'éc
2.2.2.1
acceptés
Distance
.
Based
.
Priorit
.
y
.
(DBP)[
.
Hamdaoui94
.
,
.
Hamdaoui95
3.4.2.3
,
train
Hamdaoui97
)
]
m,k
45
3.5
2.2.2.2
.
Enhanced
.
Fixed
.
Priorit
.
y
.
(EFP)
.
[
.
Ramanathan99
.
,
2
Quan00
.
]
-pattern
.
donné
47
.
2.3
.
Conditions
.
d'ordonnançabilité
.
p
.
our
.
l'ordonnancemen
.
t
.
non-préemptif
3.4
à
n
p
.
riorité
.
xe
.
sous
.
con
.
train
.
tes
.
(
.
m,k
.
)-rm
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4.1
.
instable
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4.1.1
.
écication
48
l'étude
2.4
e
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4.1.2
.
de
.
a
.
d'une
.
ite
.
han
.
consécutifs
.
(suite
.
0)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.4.1.3
.
d'une
.
uite
.
han
.
transmis
.
de
.
lon-
.
d'une
51
de
3
.
Etude
.
d'un
.
système
.
mono
.
dimensionnel
.
:
.
rejet
.
con
.
trôlé
.
d'éc
.
ha
3.4.1.4
n
év
tillons
des
et
acceptables
op-
conclu-
timisation
sur
de
exemple
p
.
erformances
.
3.1
.
Mo
.
dèle
.
de
.
système
.
.
.
.
.
.
.
.
.
.
3.4.2
.
stable
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
65
.
Inuence
.
la
.
d'un
.
suite
.
rejets
.
.
.
.
.
3.4.2.2
.
de
.
a
.
d'une
54
ite
3.2
han
Condition
consécutifs
de
.
stabilité
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
66
.
Choix
.
con
.
te
.
m,k
.
et
.
(
.
)-pattern
.
67
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
55
.
3.3
.
Le
.
gain
.
optimal
.
p
.
o
.
u
.
r
.
un
67
T
(m;k) F
.
.
Impact
.
d'un
coût
(
.
m,k
.
)-pattern
.
sur
.
la
.
qualité
.
de
.
con
d'un
trôle
.
d'un
.
système
Métho
m
.
ulti-
.
dimensionnel
.
4.1
.
Sp
.
écication
.
d
5.2.2.1
u
et
système
Application
.
b
.
.
.
.
.
Conclusions
.
.
.
.
.
système
.
coût
.
.
.
e
.
.
.
a
.
.
.
.
.
Calcul
.
.
.
Dériv
.
.
.
5.2.2
.
.
.
-
.
d
.
Bound
.
.
.
aluation
.
p
.
de
.
.
.
.
.
.
69
.
4.1.1
.
Description
.
générique
.
et
.
notations
.
.
.
.
conception
.
e
.
ti
.
.
.
.
.
.
.
i
.
.
.
.
.
84
.
loi
.
adaptatifs
.
Application
.
.
.
.
.
.
.
.
.
)-pattern
.
.
69
.
4.1.2
.
Présen
la
tation
.
de
.
l'étude
.
de
d'optimisation
ca
.
s
.
.
T
.
.
.
89
.
Algorithme
.
(
.
.
.
.
.
.
.
de
.
de
.
.
.
un
.
d'o
.
ban
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
71
1
4.2
.
Analyse
.
de
.
stab
.
ilité
.
-
.
Calcul
.
de
.
la
.
v
82
aleur
analytique
de
te
4
con
.
bué
.
n
.
n
.
commande
.
.
.
.
.
.
.
.
.
.
.
5.1.1
.
commande
.
.
.
.
.
.
.
.
.
.
.
Calcul
.
our
72
con
4.3
ec
Rec
.
herc
85
he
.
d'un
.
e
.
con
.
train
.
te
.
(
.
m,k
.
)-rm
87
optimisée
(
-
.
Discussions
.
sur
.
le
.
c
.
hoix
.
de
88
98
d
et
de
d'un
.
.
.
.
.
.
.
.
.
-pattern
.
.
du
.
.
.
.
.
.
.
.
.
.
.
de
.
k
.
dans
.
.
.
.
.
Solution
.
.
.
a
.
alua-
.
anch
.
.
.
.
.
.
.
.
.
.
.
91
.
la
.
et
.
pro-
.
herc
.
.
.
optimal
.
our
.
taux
75
orné
4.3.1
ccupation
Indicateurs
la
de
de
p
te
erformance
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8
.
4.4
.
.
.
.
.
.
.
.
.
.
.
.
75
.
4.3.2
.
Inuence
.
de
.
la
.
lon
.
g
.
u
.
eur
.
d
.
'une
.
suite
.
de
.
rejets
5
consécutifs
de
et
de
impact
conjoin
d
d'un
e
de
l'instan
trôl
t
distri-
de
5.1
la
o
demande
c
d'éc
o
helon
de
dans
et
une
optimale
séquence
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
76
84
4.3.2.1
Lo
P
de
attern
adaptativ
.
optimale
mécaniques
.
Mots
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5.1.2
.
du
.
p
.
une
.
de
.
trôle
.
v
.
gains
.
.
.
.
.
.
.
5.1.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
77
.
4.3.2.2
.
P
.
attern
.
-
.
dans
.
optimale
.
comprenan
.
t
.
sous
.
rejets
5.2
co
d'un
n
m,k
sécutifs
optimal
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
77
.
4.3.2.3
.
P
.
attern
.
Solution
5.2.1
5.2.2.4
ée
94
e
comprenan
fonction
t
coût
5
.
rejets
.
consécutifs
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
79
88
4.3.2.4
Résolution
Conclusions
problème
sur
.
ces
.
exp
.
éri
.
e
.
n
.
ces
.
.
.
.
.
.
88
.
Conditions
.
Kuhn
.
uc
.
er
.
résolution
.
.
.
.
.
.
.
.
.
.
.
5.2.2.2
.
optimale
.
ans
.
-
79
Sép
4.3.2.5
ration
Indicateur
Ev
de
tion
qualité
Br
de
and
con
)
trôle
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5.2.2.3
.
de
.
métho
.
Séparation
.
Ev
.
au
.
blème
80
rec
4.3.3
he
Meilleur
.
(
.
m,k
-pattern
)-pattern
3
.
passan
k
m (m;k)

(1; 10)
(2; 10) 8
(5; 10)

R
N
(m;k)
N

Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin