Méthodologie de développement des services de communication temps-réel d un intergiciel embarqué dans l automobile, Design methodology of real-time communication services for an automotive embedded middleware
152 pages
Français

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Méthodologie de développement des services de communication temps-réel d'un intergiciel embarqué dans l'automobile, Design methodology of real-time communication services for an automotive embedded middleware

-

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus
152 pages
Français
Obtenez un accès à la bibliothèque pour le consulter en ligne
En savoir plus

Description

Sous la direction de Françoise Simonot-Lion
Thèse soutenue le 14 septembre 2006: INPL
Notre objectif est de proposer une méthodologie pour le développement d'un intergiciel embarqué dans l'automobile offrant des services de communication aux applications. Le cadre d'utilisation de nos travaux est la conception de systèmes embarqués dans les véhicules. Ces applications requièrent un intergiciel capable de fournir des services standards de communication, qui cachent la localisation des participants aux échanges, qui masquent l'hétérogénéité des plates-formes de communication, et qui garantissent le respect des contraintes temporelles imposées sur l'échanges et sur l'exécution des participants. La méthodologie proposée vise la conception d'un intergiciel optimisé et pour cela aborde deux aspects : la spécification d'une architecture d'implémentation, et la construction d'une configuration faisable. L'architecture d'implémentation est optimisée dans le sens où l'intergiciel est adapté à l'environnement d'exécution (le système d'exploitation OSEK/VDX OS), et minimise son utilisation des ressources disponibles. Elle apporte une réponse, d'une part, au niveau de la spécification d'une architecture logicielle (construite à l'aide de design patterns ), et, d'autre part, à la manière dont cette architecture est déployée sur une plate-forme concrète (sous la forme d'un ensemble de tâches). La procédure proposée pour la construction de la configuration de l'intergiciel calcule les caractéristiques temporelles faisables de l'intergiciel et des trames émises par les stations d'un réseau CAN. Elle prévoit aussi une étape pour le calcul d'une allocation de priorités faisable pour les tâches de l'application sur chaque station. L'optimalité de la configuration est atteinte en assurant le respect de toutes les contraintes temporelles imposées sur les échanges et sur l'exécution des tâches de l'application et de l'intergiciel.
-Systèmes embarqués dans l'automobile
-Intergiciel
-Optimisation
-Configuration
Our objective is to propose a methodology for the development of an automotive embedded middleware that provides communication services to the applicative level software. This work is focused on the design of automotive functions, where the nowadays context demands a middleware capable of offering standard communication services, hiding the localization of the participants in the exchanges, masking the heterogeneity of communication platforms, and ensuring that the timing constraints imposed on the exchanges and on the execution of the participants are met. The proposed methodology is aimed for the design of an optimised middleware. For this purpose, it deals with two topics: the specification of an implementation architecture, and the construction of a feasible configuration. The implementation architecture is optimised because the middleware is well adapted to its execution environment (operating system OSEK/VDX OS), and minimizes the utilization of the available resources. It contributes, on the one hand, to a specification of a software architecture (built using design patterns), and, on the other hand, to mechanisms allowing to deploy this software architecture onto a concrete platform (under the form of a set of tasks). The algorithm proposed for the construction of a configuration determines feasible timing characteristics for the middleware and for the frames exchanged over a CAN bus. It covers also the calculation of a feasible set of priorities for the applicative tasks executing on each station of the bus. The correctness of the configuration is achieved by ensuring that the timing constraints imposed on the exchanges and on the execution of the applicative and middleware tasks are met.
-Automotive embedded systems
-Software engineering
-Middleware
-Optimisation
-Configuration
Source: http://www.theses.fr/2006INPL037N/document

Sujets

Informations

Publié par
Nombre de lectures 39
Langue Français
Poids de l'ouvrage 6 Mo

Extrait

D´epartement de formation doctorale en informatique
Institut National ´Ecole doctorale IAEM Lorraine
Polytechnique de Lorraine
M´ethodologie de d´eveloppement des
services de communication temps-r´eel
d’un intergiciel embarqu´e dans
l’automobile
`THESE
pr´esent´ee et soutenue publiquement le 14 Septembre de 2006
pour l’obtention du
Doctorat de l’Institut National Polytechnique de Lorraine
(sp´ecialit´e informatique)
par
Ricardo Santos Marques
Composition du jury
Pr´esident : Jeanine Souqui`eres Professeur (Universit´e Nancy 2)
Rapporteurs : Dieter Z¨obel Professeur (Universit´e de Koblenz-Landau)
Laurence Duchien Professeur (Universit´e de Lille)
´Examinateurs : Fran¸coise Simonot-Lion Professeur (Ecole de Mines de Nancy - INPL)
Nicolas Navet Charg´e de Recherche (INRIA)
Charles Andr´e Professeur (Universit´e de Nice Sophia Antipolis)
Invit´e : J¨orn Migge Ing´enieur (PSA Peugeot Citro¨en)
Laboratoire Lorrain de Recherche en Informatique et ses Applications — UMR 7503Professeur
Miguel.
d
Remerciemen
à
ts
à
T
Jörn
out
m'on
d'ab
u
o
oblenz-Landau,
r
PSA
d
abrice,
,
Rafaelle,
je
p
dois
forme
remercier
me
F
aussi
rançoise
Zöb
Simonot-Lion
Univ
et
ti
Nicolas
ën
Na
i
v
aolo
et,
a
mes
Anis,
encadran
rédéric
ts
ts
et
de
guides
de
tout
e
au
le
long
Finalemen
de
de
ces
de
années
l'Univ
de
,
thèse.
à
Sans
de
eux,
er
je
e
n'aurais
v
sûremen
Liping,
t
t,
pas
uel,
pu
Y
arriv
Tiziana,
er
o
au
Cédric,
b
ann,
out
à
de
Nicolas
mon
les
ob
ortifs
je
p
ctif.
l
Leur
au
exp
années.
ertise,
Con
exp
Laurence
érie
guides
nce
complexe
et
est
amitié
je
m'on
remercier
t
Duc
p
l'Univ
ermis
jury
de
Professeur
surmon
de
ter
Jeanine
les
à
dicultés
Nancy
liées
André,
à
v
la
Sophia
réalisation
olis,
d'une
Migge,
telle
e
t
t
â
our
c
fait
he.
particip
Merci
Ning,
aussi
je
à
F
ceux
Emman
qui
P
on
(et
t
o),
partagé
et
ces
P
années
ol
de
Spagnoletti,
tra
Orazio,
v
Gerardo,
ail
Y
a
et
v
Merci
ec
F
moi
(et
à
aussi)
l'ENSEM,
our
à
momen
Sain
sp
t-Fiacre,
qui
et
t
au
ermis
LORIA.
garder
Merci
a
à
tout
M
long
a
ces
rc
Merci
el,
Josette
Xa
tal
vier,
t
Olivi
Benini,
er,
s
Mic
dans
hel,
monde
Jean-Pierre,
q
et
'
Bruno
l'administration.
p
t,
our
tiens
leur
à
s
:
conseils
Laurence
de
hien,
c
à
herc
ersité
he
Lille,
urs
Dieter
et
el,
enseignan
à
ts
ersité
exp
K
érimen
mon
tés.
Souquières
Me
Professeur
rci
l'
aux
ersité
thésards,
2,
ingénieurs
Charles
et
Professeur
stagiaires
l'Uni
qui
ersité
m'on
Nice
t
An
accompagné
p
et
et
aidé
Jörn
:
Ingénieur
Raul,
P
Mathieu,
ug
Phili
o
p
Citro
p
p
e,
m'a
Jian,
oir
M
l'honneur
o
e
ham
thèse.
ed,
Na




•iim
Aude,
meus
A
minha
Aude,
e
à
iii
ma
à
famille,
fa
et
ília,
à
aos
mes
amigos.
amis.
Àiv.
.
.
ten
.
ts
.
List
.
of
.
Figures
.
xi
.
List
.
of
.
T
.
ables
.
xiii
2
P
.
artie
.
I
.
In
2.2.1.1
tro
.
duction
.
Chapter
.
1
.
Con
.
texte
.
et
.
pr
.
o
.
blématique
In
3
.
1.1
.
In
.
tro
.
duction
.
.
ciels
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
tributions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
.
.
.
.
.
.
.
.
.
.
.
13
.
.
.
.
.
.
.
.
.
.
.
In
.
et
.
.
.
.
.
.
.
.
.
.
.
.
3
14
1.2
.
Caractéristiques
.
pri
.
ncipales
.
des
.
systèmes
.
em
.
barqués
.
dans
.
l'au-tomobile
.
.
.
.
1.3.3
.
.
.
.
.
.
.
.
.
.
.
.
4
.
1.2.1
.
Caractéristiques
.
de
1.4
l'application
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
11
.
de
.
13
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
In
.
.
.
.
4
.
1.2.2
.
Les
.
sys
.
tèmes
.
d'exploitation
.
.
.
.
.
.
13
.
g
.
industri
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
P
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
v
6
.
1.2.3
.
Les
.
sys
.
tèmes
.
de
.
comm
.
unication
.
.
.
.
.
.
.
.
.
.
.
.
9
.
Con
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
9
6
Conclusion
1.2.4
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Chapter
.
État
.
l'
.
rt
.
2.1
.
tro
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
.
1.3
.
P
.
érimètre
.
des
.
tra
.
v
.
aux
.
.
2.2
.
tergiciels
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.2.1
.
ter
.
i
.
généraux,
.
els
.
académiques
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8
.
1.3.1
13
In
CORBA
tro
.
duction
.
du
.
sujet
.
-
.
cahier
.
des
.
c
.
harges
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.2.1.2
.
olyORB
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
8
.
1.3.2
.
Hyp
.
othèses
.
et
.
c
15
hoix
Con
considérésdu
.
.
Con
.
ten
énemen
ts
.
2.2.1.3
.
A
.
CE
Princip

  • Univers Univers
  • Ebooks Ebooks
  • Livres audio Livres audio
  • Presse Presse
  • Podcasts Podcasts
  • BD BD
  • Documents Documents