ATTOUCHI Koutheir

doctorant à Sorbonne Université
Équipe : REGAL
https://lip6.fr/Koutheir.Attouchi

Direction de recherche : Gilles MULLER
Co-encadrement : THOMAS Gaël, BOTTARO André

Gestion des Conflits de Partage de Ressources dans un Environnement Logiciel Embarqué Ouvert

Nos maisons deviennent de plus en plus intelligentes grâce aux nombreux appareils, capteurs, et actionneurs disponibles, et fournissant des services, tels que le divertissement, la sécurité, l’efficacité énergétique et le maintien à domicile. Divers fournisseurs de services veulent profiter de l’opportunité de la maison intelligente en développant rapidement des services à héberger dans une passerelle domotique embarquée. La passerelle est ouverte à des applications développées par des fournisseurs de services non fiables, contrôlant de nombreux appareils, et pouvant contenir des bugs ou des codes malicieux. Par conséquent, la passerelle doit maintenir une haute disponibilité et suffisamment de robustesse pour tolérer les problèmes logiciels sans avoir à redémarrer brutalement. Partager les ressources, même restreintes, de la passerelle entre les fournisseurs de services leur permet de fournir des services plus riches. Cependant, des conflits de partage des ressources se produisent quand une application utilise les ressources «déraisonnablement» ou abusivement. Cette thèse aborde le problème des conflits de partage des ressources dans la passerelle domotique, investiguant des approches de prévention autant que possible, et envisageant des approches de détection et de résolution quand la prévention est hors de portée. Notre première contribution «Jasmin» vise à prévenir les conflits de partage des ressources en isolant les applications. Jasmin est un intergiciel pour le développement, le déploiement et l’isolation des applications natives, à base de composants et orientées services prévues pour des systèmes embarqués. Jasmin permet une communication rapide et facile entre applications, et utilise les conteneurs Linux pour une isolation à faible coût. Notre seconde contribution «Incinerator» est un système dans la machine virtuelle Java (JVM) qui résout le problème des références obsolètes en Java, c.-à-d., des références à des objets à ne plus utiliser. Les références obsolètes peuvent causer des fuites mémoire importantes dans une passerelle domotique basée sur OSGi, diminuant ainsi la quantité de mémoire disponible, ce qui augmente les risques de conflits de partage de mémoire. Avec un coût inférieur à 4%, Incinerator non seulement détecte les références obsolètes, les rendant visibles aux développeurs, mais aussi les élimine, diminuant ainsi les risques de conflits de partage de ressources. Même en Java, les conflits de partage de mémoire se produisent. Afin de les détecter, nous présentons notre troisième contribution : un système de surveillance de mémoire intégré à la JVM. Notre système est pratiquement transparent aux développeurs d’applications et conscient du modèle à composants formant les applications domotiques. Le système compte précisément les ressources consommées pendant les interactions entre applications, et fournit, à la demande, des statistiques instantanées d’utilisation de mémoire pour les différents fournisseurs de services partageant la passerelle.


Soutenance : 11/07/2014

Membres du jury :

Didier Donsez: Professeur (HDR) de l'Université de Grenoble 1 [Rapporteur]
Laurence Duchien: Professeur (HDR) de l'Université de Lille 1 [Rapporteur]
Béatrice Berard: Professeur (HDR) de l'Université de Pierre et Marie Curie, Paris 6
Jean-Philippe Fassino: Architecte en Cyber-Securité, Schneider Electric
Johann Bourcier: Maitre de Conférences de l'Université de Rennes 1
Gilles Muller: Scientifique Chercheur Senior (HDR), Inria
Gaël Thomas: Professeur (HDR) de l'Université de Pierre et Marie Curie, Paris 6
André Bottaro: Directeur de Programme de Recherche, Orange Labs

Date de départ : 11/07/2014

Publications 2012-2015