Mme AKTOUF Oum-El-Kheir soutiendra son HDR le 11 juillet 2014

TITRE : Test et diagnostic en ligne dans les systèmes embarqués.

RESUME DES TRAVAUX PRESENTÉS :

Cet exposé présente les recherches menées depuis une dizaine d’années dans le domaine de la sûreté de fonctionnement des systèmes embarqués et répartis.

Ces travaux se caractérisent par la volonté de prendre en compte tant les composants matériels que logiciels utilisés dans ce type de systèmes.

L’exposé s’articule autour de deux parties. Dans la première partie, les différents travaux menés sur le test et le diagnostic en ligne des composants logiciels sont décrits ainsi que les perspectives de cet axe, allant principalement vers une prise en compte des interactions entre les composants logiciels et matériels pour des approches plus efficaces.

La seconde partie présente une étude de cas globale sur un type de systèmes dont l’utilisation est en plein essor : les systèmes rfid, qui sont une des formes que prend l’Internet des Objets, sujet de travaux et de recherches en cours. Ce travail a permis d’analyser un type de système présentant un comportement aléatoire en raison des défauts pouvant survenir dans le système même, ou dans son environnement. Les travaux d’analyse, de modélisation, de prototypage et d’évaluation qui ont accompagné cette étude sont présentés. Les principales perspectives de cet axe, en lien avec les évolutions récentes des systèmes informatiques, sont également présentées.

COMPOSITION DU JURY :

- Mme Catherine Dubois, Professeur à l’ENSIIE                                                Rapporteur

- M. Daniel Hagimont, Professeur à l’ENSEEIHT                                                Rapporteur

- M. Matteo Sonza Reorda, Professeur au Politecnico di Torino                      Rapporteur

- M. Mohamed Akil, Professeur à l’ESIEE                                                          Examinateur

- M. Yves Ledru, Professeur à l’Université Grenoble I                                     Examinateur

- M. Ioannis Parissis, Professeur à Grenoble INP                                             Examinateur