Estimation à haut-niveau des dégradations temporelles dans les
Estimation `a haut-niveau des d´egradations temporelles
dans les processeurs : m´ethodologie et mise en oeuvre
logicielle
Cl´ement Bertolini
To cite this version:
Cl´ement Bertolini. Estimation `a haut-niveau des d´egradations temporelles dans les processeurs
: m´ethodologie et mise en oeuvre logicielle. Autre [cond-mat.other]. Universit´e Sciences et
Technologies - Bordeaux I, 2013. Fran¸cais. <NNT : 2013BOR14968>.<tel-00952867>
HAL Id: tel-00952867
https://tel.archives-ouvertes.fr/tel-00952867
Submitted on 27 Feb 2014
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of sci-
entific research documents, whether they are pub-
lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destin´ee au d´epˆot et `a la diffusion de documents
scientifiques de niveau recherche, publi´es ou non,
´emanant des ´etablissements d’enseignement et de
recherche fran¸cais ou ´etrangers, des laboratoires
publics ou priv´es.
Université Bordeaux 1
Les Sciences et les Technologies au service de l’Homme et de l’environnement
N° d’ordre : 4968
THÈSE
PRÉSENTÉE À
L’UNIVERSITÉ BORDEAUX 1
ÉCOLE DOCTORALE DES SCIENCES PHYSIQUES ET DE L’INGÉNIEUR
Par Clément BERTOLINI
POUR OBTENIR LE GRADE DE
DOCTEUR
SPÉCIALITÉ : ÉLECTRONIQUE
ESTIMATION À HAUT-NIVEAU DES DÉGRADATIONS
TEMPORELLES DANS LES PROCESSEURS :
MÉTHODOLOGIE ET MISE EN ŒUVRE LOGICIELLE
Directeur de recherche : François MARC
Equipe d’accueil : CEA LIST / DACLE / LCE
Soutenue le 13 Décembre 2013,
devant la commission d’examen formée de :
Mme MANEUX Cristell Professeur à l'Université Bordeaux 1 Présidente du jury
Mme. ANGHEL, Lorena Professeur à l’Institut Grenoble INP Rapporteur
M. GRANADO, Bertrand Professeur à l’Université Pierre et Marie Curie Rapporteur
M. MARC, François Maitre de Conférences, HDR à l'Univ. Bordeaux 1 Directeur de thèse
M. HERON, Olivier Ingénieur Chercheur au CEA LIST Encadrant de thèse
M. VENTROUX, Nicolas Ingénieur Chercheur au CEA LIST Encadrant de thèse
À Marthou, ma grand-mère.
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
1
/
123
100%
