Florian Galinier

Publications

2017
Seamless Integration of Multirequirements in Complex Systems
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
Model-Driven Requirements Engineering (MoDRE) 2017
Lien
Measuring Differences To Compare Sets Of Models And Improve Diversity In MDE
Adel Ferdjoukh, Florian Galinier, Eric Bourreau, Annie Chateau, Clémentine Nebut
International Conference on Software Engineering Advances, ICSEA 2017
Lien
Intégration des (multi-)exigences tout au long du développement des systèmes complexes
Florian Galinier, Jean-Michel Bruel, Sophie Ebersold, Bertrand Meyer
Approches Formelles dans l'Assistance au Développement de Logiciels 2017
Pages 57-63
Lien
A contract-based method to specify stimulus-response requirements
Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer, Jean-Michel Bruel, Florian Galinier, Sophie Ebersold
https://arxiv.org/abs/1704.04905
2016
Genetic Algorithm to Improve Diversity in MDE
Florian Galinier, Eric Bourreau, Annie Chateau, Adel Ferdjoukh, Clémentine Nebut
META, International Conference on Meta heuristics and Nature Inspired Computing
Lien

Projets de recherche

Des algorithmes génétiques pour générer des modèles diversifiés.

J'ai effectué mon stage de recherche de M2 au LIRMM dans une optique de contribution à l'Ingénierie Dirigées par les Modèles.

Mon objectif visait à améliorer la diversité dans la génération de modèles à partire de métamodèles.
La génération de modèles à partir de méta-modèles est une solution apportée par l'ingénierie des modèles pour tester les transformations de modèles ou pour la validation de méta-modèles.
Il existe dans la littérature un certain nombre de techniques combinatoires pour l'instanciation de méta-modèle, mais peu se sont intéressées au problème de la diversité.
L'utilisation des algorithmes génétiques était une des plus prometteuses en terme de diversité. L'objectif de ce stage et de l'étude bibliographique était d'explorer cette piste, en tentant notamment de trouver une mesure efficace pour la diversité, modélisée dans notre cas au travers d'une fonction objectif de distance entre modèles.

Les résultats obtenus durant ce stage ont mis en évidence une claire augmentation de la diversité des modèles générés, toujours valide car appuyer sur l'approche par CSP pour vérifier la conformité des modèles à chaque étape.

Consulter le dépôt Les sources sur gitlab
Consulter le rapport En savoir plus...

Projets de stages

Grimm2Java (2015)

J'ai travaillé lors de mon stage au LIRMM sur l'outil Grimm sur lequel travaille Adel Ferdjoukh dans le cadre de sa thèse.
L'objectif de Grimm est l'instantiation, à partir d'un méta-modèle (décrit en Ecore) ainsi qu'un fichier de configuration et permet, grâce à la résolution du modèle traduit en CSP, la génération d'un modèle conforme au méta-modèle donné.

Mon travail durant ce stage a consisté à la récolte de métriques objets sur deux corpus de logiciels relativement importants afin d'obtenir des données réelles moyennes sur ces métriques (exemple  nombre moyen de méthodes par classe).
La seconde partie du stage a considéré en la génération de code Java à partir des modèles générés conforme aux métriques récoltées lors de la première partie. Nous avons ainsi pu constater que les modèles générés sans ces métriques ne permettait pas ou presque pas la création de code compilable tandis que les modèles générés avec ces métriques permettait la création de code compilable.

Consulter le rapport En savoir plus...

Projets universitaires

Stibbons (2015)

Le projet Stibbons a été développé dans la cadre de la première année du Master AIGLE de la Faculté des Sciences.
C'est avec Adrien, Clément et Julia que nous avons proposé ce sujet à Michel Meynard qui a accepté de nous encadrer.
Nous avons mené ce projet grâce à la méthode agile Scrum.

Stibbons est un langage multi-agents à typage dynamique où chaque agent évolue en parallèle des autres agents. Le projet a principalement consisté à la réalisation d'un interprète de ce langage avec les outils Flex et GNU Bison, en C++, ainsi que de deux interfaces réalisées en C++/Qt :

  • une interface graphique, permettant l'édition de code et la visualisation en temps réel ;
  • une interface en ligne de commande, permettant l'exécution de code sans fenêtre avec la possibilité d'un export régulier d'un état du monde.
Capture de l'éditeur intégré de Stibbons Capture de l'interprétation d'un programme Stibbons
À gauche, l'éditeur avec coloration syntaxique de Stibbons intégré.
À droite, le simulateur où l'on peut voir évoluer les agents.

J'ai pour ma part principalement travaillé sur les analyseurs lexical, syntaxique et sémantique.

Consulter le rapport En savoir plus...

Poavre (2014)

Réalisé au cours de ma L3 à la Faculté des Sciences, ce projet, proposé par Jacques Ferber, avait pour but la création d'un site web social autour d'une monnaie libre (en savoir plus sur les SEL).
J'ai travaillé sur ce projet au sein d'une équipe de 8 personnes, dont faisaient partie Adrien et Clément.

J'étais, en compagnie d'Adrien, intégrateur sur ce projet réalisé avec Symfony2. Nous avons mené ce projet grâce à la méthode agile Scrum.

Consulter le rapport En savoir plus...

Le projet Link-Pix a été réalisé dans le cadre de ma deuxième année de Licence en Faculté des Sciences de l'Université Montpellier 2.
Ce projet, proposé par Philippe Janssen dans le cadre de l'UE Projet Informatique, avait pour objectif la réalisation d'un solveur pour les puzzles de type Link-a-Pix.

Ce projet fut le premier où j'eu l'occasion de travailler avec Adrien. Il fut réalisé en C et l'interface graphique utilise la bibliothèque Gtk.

Consulter le rapport En savoir plus...