Olivier GILLES' Home Page

Accueil

Informations

Je suis doctorant en 3ème année dans le département Informatique et Réseaux de l'École Nationale Supérieure des Télécommunications (Paris). Je travaille au sein du groupe de recherche S3. Vous trouverez ici un CV détaillé.

La thèse que je prépare s'intitule "Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles". Mon directeur de thèse est Jérôme Hugues.

Mes centres d'intérâts scientifiques et industriels sont les systèmes embarqués et temps-réels (SETR) ainsi que la robotique. Dans le cadre de mes études et de mes travaux de thèse j'ai également développé des compétences dans les domaines de la modélisation de SETR, génération de code, de l'évaluation et de la vérification des systèmes critiques.

Au-delà des aspects purement techniques et scientifiques, j'ai développé un intérêt pour les questions de la gestion du risque, en particulier industriel.

Les domaines d'application qui m'intéressent le plus sont le spatial et l'aéronautique en général.

Coordonnées

Mail : gilles (at) enst (dot) fr
Adresse : Olivier Gilles, INFRES, 46 rue Barrault, 75634 Paris, France
Bureau : 202-3

Projets

  • Je participe actuellement au sein de l'ENST au projet ANR Flex-eWare, dédié a la création d'outils pour le développement de systèmes embarqués reconfigurables. Lien [EN]

  • Je participe au projet académique Ocarina, un suite logicielle pour manipuler les modèles AADL et générer des applications réparties. Lien [EN]

  • Mes travaux sur la vérification de modèles architecturaux (outil REAL) sont utilisés au sein du projet ANR MOSIC.

Recherche

Mes recherches sur l'optimisation des systèmes générés se divisent logiquement en 2 grandes thématiques : Evaluation et Optimisation. Chacun de ces axes a fait l'objet d'un premier travail, qui est exposé dans la suite de ce document. Au terme de ma thèse, je proposerai un module d'optimisation au sein de Ocarina qui regroupera les travaux effectués dans ces 2 domaines.

Thématique Evaluation

  • J'ai réalisé REAL (Requirement Enforcement Analysis Language), un langage pour la vérification des contraintes non-fonctionnelles dans les modèles architecturaux, qui permet d'exprimer et de vérifier des propriétés sur des modèles AADL. Lien [EN]

  • Une plateforme de haut niveau pour l'évaluation des modèles architecturaux a également été proposée, et un prototype réalisé. Elle se base sur REAL, mais également sur l'outil d'analyse du Worst-Case Execution Time (WCET) Bound-T.

Thématique Optimisation

Je travaille sur l'optimisation des modèles architecturaux et du code généré en me basant sur le générateur Ocarina.
  • Mes recherches actuelles se concentrent sur la transformation des modèles architecturaux dans une optique d'optimisation. Dans un premier temps, un algorithme de sérialisation a été implémenté, avec des résultats significatifs en termes d'économie des ressources (occupation mémoire, en l'occurence).

  • Dans les mois à venir (printemps 2009), je compte concentrer mes recherches sur une optimisation de la synchronisation des différents fils d'exécutions des SETR, en limitant au maximum l'usage des mutexes.

Mon mémoire de thèse

Les rapporteurs et les examinateurs de mon jury de thèse, ainsi que toute personne intéressée pourront trouver la dernière version de mon mémoire de thèse :
[version du 2 mars 2010]

Enseignements

J'encadre des travaux pratiques et dirigés pour l'ENST et pour la spécialité SAR de l'UPMC (Université Paris-6). En particulier, j'ai participé aux enseignements suivants :
  • Programmation en c
  • Programmation en c++
  • Programmation en Java
  • Modélisation
  • Systèmes
  • Environnements pour les systèmes répartis embarqués ou temps-réel
  • Fondement des systèmes embarqués temps-réel
  • Web dynamique (cours + TP)
Dans le cadre de vacations pour l'IUT d'informatique de l'université de Villetaneuse (Paris-13), j'assure également en 2009-2010 l'encadrement de travaux dirigés pour le cours d'architecture des ordinateurs.

Publications

[GH10a] O. Gilles and J. Hugues. A MDE-Based optimization process for Real-Time systems proceedings of the 13th International Object/Component/Services-Oriented Real-Time distributed Compouting (ISORC 2010), may 2010.

[GH10b] O. Gilles and J. Hugues. Expressing and enforcing user-defined constraints of AADL models proceedings of the 5th UML\& AADL Workshop (UML\&AADL 2010), march 2010.

[GH09a] O. Gilles and J. Hugues. Towards Model-based optimisations of Real-Time systems, an application with the AADL proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'09), july 2009.

[DGHP09b] J. Delange and O. Gilles and J. Hugues and L. Pautet. Model-Based Engeineering for the Development of ARINC653 Architectures. Proceedings of the SAE 2009 AeroTech Congress & Exhibition, november 2009.

[GH08b] O. Gilles and J. Hugues. Applying WCET analysis at architectural level. Proceedings of the 8th International Workshop on Worst-Case Execution Time Analysis (WCET'08), july 2008.

[GH08a] O. Gilles and J. Hugues. Validating requirements at model-level. Proceedings of the 4th workshop on Model-Oriented Engineering (IDM'08), june 2008.