La lecture en ligne est gratuite
Télécharger

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
et
.
T
.
A
.
O
.
.
.
.
.
.
.
.
.
.
mo
.
.
.
.
.
.
.
.
.
.
.
pri
.
rame
.
.
.
28
.
o
.
de
.
.
.
29
.
.
.
.
.
.
.
.
.
.
.
.
.
ation
.
3.4
.
3.4.1
.
.
.
.
.
.
.
.
15
hes
2.2.2
.
In
27
tergic
.
iels
.
em
.
barqués
.
dans
2.5.2.1
l'automobile
.
.
par
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
31
.
.
.
.
.
.
.
.
.
unication
.
.
.
elopp
.
Résumé
.
.
.
:
.
.
.
.
16
.
2.2.2.1
.
V
.
olcano
w
.
.
.
l'in
.
.
.
.
.
.
.
Conclusion
.
.
.
.
.
.
.
.
.
2.5
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
par
.
.
.
.
.
prop
.
.
.
.
.
2.5.2.3
.
P
.
.
16
.
2.2.2.2
Conclusions
OSEK/VD
trames
X
.
Comm
29
unication
.
.
.
.
.
.
.
.
.
.
tation
.
les
.
.
.
.
.
.
.
.
.
:
.
.
.
.
.
.
.
3.2.1
.
t
.
.
.
.
.
p
.
l'in
.
.
.
5
18
middlew
2.2.2.3
.
Eurek
onctions
a
tâc
ITEA
ation
EAST-EEA
.
.
.
.
.
.
.
.
Iden
.
de
.
.
.
.
.
.
.
hapitre
.
of
.
.
.
.
.
att
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
26
.
.
.
.
.
.
19
.
2.2.2.4
.
A
.
UTOSAR
.
.
.
.
.
.
.
.
de
.
trames
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Conguration
.
hes
.
r
.
.
.
.
.
.
.
.
.
.
.
.
.
2.5.2
.
king
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
prop
2.2.3
et
Bilan
.
sur
.
les
.
in
.
tergicie
Algorithme
ls
s
et
et
les
.
systèmes
.
em
.
barqués
.
.
s
.
és
.
et
.
.
.
.
.
.
.
.
.
28
.
la
.
hes
.
.
.
.
.
.
.
.
.
Conclusions
20
.
2.3
.
Métho
.
des
.
de
.
dév
.
elopp
.
emen
.
t
.
d'un
.
in
3
tergiciel
con
.
Généralités
.
tributions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.2
.
hapitre
.
tro
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
de
.
par
.
.
.
.
21
.
2.3.1
.
Con
31
texte
métho
automobile
le
.
t
.
l
.
.
.
32
.
c
.
implemen
.
of
.
.
.
.
.
.
.
3.3.1
.
l'in
.
de
.
et
.
s
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
35
.

.
tâc
.
tergicie
.
.
.
.
.
.
.
.
21
.
2.3.1.1
.
V
du
olcano
:
.
mo
.
middlew
.
.
.
.
.
.
.
.
.
design
.
p
.
iel
.
.
.
.
.
.
.
.
.
.
.
36
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.4.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
21
.
2.3.1.2
.
Titus
.
.
.
.
.
.
.
.
.
.
.
.
.
.
27
.
Conguration
.
tâc
.
et
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.5.1
.
de
.
c
.
:
.
o
.
ité
.
.
.
.
.
.
.
.
.
.
22
.
2.3.1.3
.
A
.
UTOSAR
.
.
.
.
.
.
.
.
27
.
F
.
pac
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
.
Algorithme
.
osé
.
Tindell
.
Burns
.
.
.
.
.
.
22
.
2.3.2
.
Con
.
texte
.
académique:
.
appro
2.5.2.2
c
s
he
o
o
és
b
Norström
jets
al.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
28
.
Algorithme
.
prop
.
s
.
par
.
op
.
al.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
.
2.3.2.1
2.5.3
Design
sur
patterns
conguration
.
tâc
.
et
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2.6
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
23
.
2.3.2.2
.
Utili
Chapter
sation
Présen
des
des
design
tributions
patterns
3.1
dans
sur
P
con
olyORB
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
24
.
2.3.2.3
31
Utili
Résumé
sation
c
des
4
design
in
patterns
duction
dans
.
T
.
A
.
O
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
31
.
Services
.
comm
.
fournis
.
l'in
.
ergiciel
24
.
2.3.3
.
Syn
.
thèse
.
sur
.
les
.
tec
.
hniques
.
de
3.2.2
dév
es
elopp
dologiques
emen
our
t
dév
d'in
emen
te
de
rgiciels
tergicie
.
.
.
.
.
.
.
.
.
3.3
.
du
.
hapitre
.
:
.
tation
.
del
.
the
25
are
2.4
.
Iden
.
tication
.
de
.
tâc
.
hes
34
.
F
.
de
.
tergiciel
.
bibliothèque
.
fonctions,
.
hes
.
év
.
t
.
d'activ
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3.3.2
.
ti
.
c
.
de
.
hes
.
l'in
.
l
26
.
2.4.1
.
Stratégies
.
prop
.
osées
.
par
.
Douglass
.
.
.
.
.
.
.
.
.
.
35
.
Résumé
.
c
.
6
.
soft
.
are
.
del
.
the
.
are
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
36
.
Les
.
p
.
erns
.
our
26
tergic
2.4.2
.
Stratégies
.
prop
.
osées
.
par
.
Saksena
.
et
.
al.
.
.
.
.
.
.
.
.
.
.
vi
..
.
.
3.4.2
.
Le
.
diagramme
In
de
.
classes
.
et
.
le
.
mo
.
dèle
.
d'implé
.
men
.
tation
.
.
.
.
.
.
.
.
are
.
.
.
.
.
.
.
.
.
of
.
strategies
.
h
.
5.3.2
.
.
37
.
3.5
54
Résumé
Soft
du
.
c
.
hapitre
.
7
F
:
.
conguration
.
of
.
the
cation
frame
.
s
.
.
.
.
.
.
o
.
.
.
.
.
.
.
ev
.
.
.
.
.
.
.
.
.
.
.
e
.
.
.
h
.
.
.
to
.
.
.
.
37
.
3.5.1
onen
Con
.
train
.
tes
4.3.2
de
.
fraîc
.
heur
.
et
.
éc
.
héance
.
relativ
.
e
.
d'
Conguration
une
.
trame
.
.
4.3.2.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5
.
middlew
38
.
3.5.2
.
Algorithmes
.
de
.
frame
.
pac
51
k
and
ing
.
.
.
.
are
.
.
.
.
.
.
.
One
.
t
.
.
.
.
.
.
.
eac
.
t
.
.
.
.
.
One
.
's
.
.
.
.
.
5.3.4
.
the
.
.
.
.
.
.
.
.
.
.
.
48
.
are
39
iden
3.6
.
Résumé
.
du
.
c
.
hapitre
.
8
are
:
.
conguration
.
of
.
the
.
appli
.
cativ
.
e
.
and
49
middle
pac
w
.
are
.
tasks
.
.
.
.
.
.
.
.
.
39
49
3.7
the
Résumé
.
du
.
c
.
hapitre
.
9
.
:
y
qualit
.
y
.
of
.
service
.
monitoring
.
through
.
comm
.
unication
4.4
service
.
s
.
40
.
3.7.1
.
Services
.
de
.
notication
.
à
.
i
.
n
.
tégrer
50
.
tation
.
of
.
51
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
F
.
middlew
.
activ
.
ts
.
.
.
.
.
.
.
5.3
.
iden
.
.
.
.
40
.
3.7.2
.
Conséquences
.
sur
.
le
53
mo
for
dèle
v
d'i
.
mplémen
.
tation
.
de
.
l
.
'in
.
tergiciel
.
.
task
.
t
.
ev
.
.
.
.
.
.
.
.
.
.
.
53
.
for
40
gn
3.7.3
ose
Conséquences
.
sur
.
le
.
mo
.
dèle
.
de
se
comp
ti
osan
are
ts
.
logiciels
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.3.1.2
.
w
.
comp
.
ts
.
tication
.
.
41
.
3.8
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
49
.
Middlew
.
conguration
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.3.2.1
.
rame
.
king
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4.3.2.2
41
of
P
middlew
artie
tasks
I
.
I
.
Con
.
tributions
.
Chapter
.
4
.
In
.
tro
.
duction
49
45
Priorit
4.1
allo
In
.
tro
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
50
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Chapter
.
Implemen
.
m
.
del
.
the
.
are
.
5.1
45
tro
4.2
.
Comm
.
unication
.
services
.
pro
.
vided
.
b
.
y
.
the
.
mi
.
ddlew
.
are
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5.2
.
unctionalities
.
the
.
are
.
their
.
ation
.
en
.
.
.
.
45
.
4.3
.
Metho
.
dology
.
for
.
the
52
de
Middlew
v
tasks
elopmen
tication
t
.
of
.
the
.
middlew
.
are
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5.3.1
.
task
.
eac
.
e
.
en
.
strategy
.
.
.
.
.
.
.
.
.
.
47
.
4.3.1
.
Generic
.
arc
.
hitecture
.
.
.
.
.
.
53
.
One
.
for
.
h
.
yp
.
of
.
en
.
strategy
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
5.3.3
.
task
.
eac
.
si
.
al
.
purp
.
strategy
.
.
.
.
.
.
.
.
.
.
.
.
48
.
4.3.1.1
.
Iden
.
tication
53
of
Strategy
tasks
lected
.
iden
.
fy
.
middlew
.
tasks
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vii
..
7
request
Con
.
ten
.
ts
.
5.4
.
Middlew
the
are
.
tasks
.
mo
.
del
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Recepti
.
de
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
solv
.
.
.
.
.
c
.
l
.
86
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
55
.
5.4.1
.
T
tro
ask
.
in
.
c
of
harge
.
of
7.1.2
the
.
constructi
The
o
.
n
relativ
and
.
the
on
transmission
Complexit
request
.
of
.
frames
.
.
.
.
.
55
Insertion:
5.4.1.1
.
Multifram
84
e
.
task
.
mo
.
del
.
.
.
.
.
.
.
.
.
.
.
.
.
.
6.3.2.3
.
.
.
.
.
handling
.
.
.
.
.
6.3.3
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
frames
.
.
.
.
55
.
5.4.1.2
.
Generaliz
.
ed
7.1.1
m
.
ultiframe
.
ta
.
s
.
k
constrain
mo
.
del
.
.
.
.
of
.
.
.
.
.
.
.
a
.
.
.
.
.
7.1.2.3
.
b
.
.
.
problem
.
.
.
.
.
.
.
Heuristics
.
.
.
.
.
.
56
Bandwidth-Best-Fit
5.4.1.3
.
Other
.
solution
.
.
.
.
.
.
.
.
.
.
functi
.
.
.
.
.
.
.
Lo
.
.
.
.
.
.
.
.
.
e
.
.
.
.
.
.
.
86
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
and
.
frames
.
.
.
.
.
71
57
n
5.4.2
frames
T
.
ask
.
in
.
c
.
harge
.
of
tary
receiving
.
and
.
handling
.
frames
.
.
.
.
.
.
.
.
.
.
6.4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
74
.
of
57
7.1
5.5
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
orm
.
problem
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
teeing
.
.
.
.
.
.
.
.
.
.
.
.
.
78
.
um
.
signal
.
.
.
.
.
.
.
.
.
.
.
7.1.2.2
.
deadline
.
.
.
.
.
.
.
.
.
.
.
.
.
o
58
w
Chapter
viour
6
are
Soft
81
w
of
are
.
mo
.
del
.
of
.
the
.
middlew
.
are
.
59
83
6.1
osed
In
the
tro
.
duction
.
.
.
.
.
.
.
.
7.2
.
reasing
.
.
.
.
.
.
.
.
.
.
.
84
.
insert()
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Decomp
.
n
.
ose()
.
.
.
.
.
.
.
.
.
.
.
85
.
optimization
.
ori
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
The
.
.
.
.
.
.
59
.
6.2
.
Design
.
patterns
.
for
.
the
Conclusion
middlew
.
a
.
re
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
viii
.
.
.
.
.
.
.
.
.
70
.
Construction
.
transmission
.
of
.
.
.
.
.
.
.
.
.
.
.
.
.
6.3.2.4
.
o
.
and
.
of
.
.
.
.
60
.
6.2.1
.
A
.
ctiv
.
e
.
ob
.
ject
.
pattern
.
.
71
.
Complemen
.
co
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
.
Conclusion
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
60
.
6.2.2
.
A
.
dapter
.
pattern
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Chapter
.
Conguration
.
the
.
75
.
In
.
duction
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
75
.
F
61
ulation
6.2.3
the
Observ
.
e
.
r
.
pattern
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
76
.
Guaran
.
freshness
.
ts
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7.1.2.1
.
maxim
.
age
.
a
.
.
.
.
.
.
63
.
6.2.4
.
Async
.
hronous
.
completion
.
tok
.
en
.
pattern
.
.
78
.
The
.
e
.
of
.
frame
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
81
.
Assumpti
.
ns
.
the
.
orst-case
66
eha
6.3
of
Class
middlew
diagram
tasks
a
.
nd
7.1.3
the
y
implemen
the
ta
.
t
.
ion
.
mo
.
del
.
of
.
the
.
middl
.
ew
.
are
.
.
.
.
.
.
.
.
.
.
.
.
7.1.4
.
prop
.
to
.
e
.
problem
.
.
.
.
68
.
6.3.1
.
Class
.
diagram:
.
comp
.
osition
.
of
.
design
.
patterns
83
.
The
.
dec
.
heuristic
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7.2.1
.
function
.
.
.
.
68
.
6.3.2
.
Sequences
.
of
.
co
.
de
.
of
.
the
.
middl
.
ew
.
are
.
tasks
.
.
.
.
7.2.2
.
osition:
.
o
.
de
.
omp
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7.2.3
.
cal
70
a
6.3.2.1
g
Storage
thm
of
.
signal
.
v
.
al
.
ues
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7.3
.
Semi-Exhaustiv
.
heuristic
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
70
.
6.3.2.2
7.4
Retriev
.
al
.
of
.
si
.
gna
.
l
.
v
.
alues
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
87
.
.