Conception conjointe optimisée de lois de contrôle et d'ordonnancement, Integrated optimal control and scheduling co-design
170
pages
Français
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe en t'inscrivant gratuitement
Découvre YouScribe en t'inscrivant gratuitement
170
pages
Français
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
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
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
.
.
.
.
.
.
.
.
.
.
.
