Du genie logiciel pour deployer, gerer et reconfigurer les logiciels Fabien Dagnat To cite this version: Fabien Dagnat. Du genie logiciel pour deployer, gerer et reconfigurer les logiciels. Interface homme- machine [cs.HC]. Télécom Bretagne; Institut Mines-Télécom, 2016. tel-01323059 HAL Id: tel-01323059 https://hal.archives-ouvertes.fr/tel-01323059 Submitted on 30 May 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Habilitation à Diriger les Recherches de l’Université de Rennes 1 Du génie logiciel pour déployer, gérer et reconfigurer les logiciels Fabien Dagnat IRISA, Équipe PASS Soutenue le 15 janvier 2016 à Télécom Bretagne, site de Brest devant le jury composé de Olivier Barais Professeur de l’Université de Rennes 1 Président Laurence Duchien Professeur de l’Université de Lille 1 Rapporteur Vincent Englebert Professeur de l’Université de Namur Rapporteur Daniel Le Berre Professeur de l’Université d’Artois Rapporteur Frédéric Boniol Maître de Recherche à l’ONERA et Professeur Membre de l’INP de Toulouse Antoine Beugnard Professeur à Télécom Bretagne Membre Remerciements Tous mes remerciements aux nombreuses personnes que j’ai croisée et avec qui j’ai travaillé. Elles ont toutes contribué à ce que je suis et donc à ce document. Je n’oublie pas bien sûr ma famille et tous mes amis qui ont également contribué sans doute un peu moins directement... i Contenu du document Ce document synthétise la plupart de mes activités de recherche menées depuis 2001, année de soutenance de ma thèse. Ces activités de recherche ont été conduites principalement à Brest dans le cadre des équipes Cama puis PASS du département informatique de Télécom Bretagne. L’équipe PASS est membre de l’IRISA. Depuis septembre 2002, je suis maître de conférences à Télécom Bretagne. Ces travaux ont donc été intimement reliés et parfois ont pâti de mon autre métier à savoir celui d’enseignant. Cela m’a permis néanmoins d’être au contact de brillants étudiants qui m’ont poussé à mieux comprendre les choses. La notion de composant sujet d’un chapitre dans ce document en est un exemple. D’autre part, des étudiants ont participé à une partie de ces travaux en m’assistant dans le développement de démonstrateurs et la réalisation d’expériences. Un curriculum vitæ est inclus en annexe de ce document page 149. Mes travaux de recherche ont également été possible grâce à divers financements : – le projet ANR Formose, 2014-2019 ; – le projet ANR SPaCIFY, 2006-2010 ; – le Contrat de Recherche Externe France Télécom sauna, 2005-2008 ; – les projets GET CARISM I en 2003 et II en 2004, CASAC en 2008 et JEMTU 2005-2008 ; – le projet CARNOT dpan, 2010-2012 ; – le projet région IMAJD de 2012 à 2015 ; – le projet du conseil général LINA en 2005. Il convient également d’ajouter la contribution de Télécom Bretagne qui m’a permis de faire un séjour d’étude chez EADS Astrium et Thalès Alenia Space d’un total de sept mois en 2009. Durant ces années, j’ai encadré les doctorants suivants : 1. Meriem Belguidoum (11/2004 – 2/2008), Conception d’une infrastructure pour un dé- ploiement sûr et flexible des composants logiciels, Directeur de thèse : Guy Bernard. 2. Tuan Anh Trinh (1/2008 – 08/2011), Déploiement distribué d’applications distribuées, Directeur de thèse : Antoine Beugnard, thèse non soutenue. 3. Fahad Golra (1/2010 – 1/2014), A refinement based methodology for software process modeling, Directeur de thèse : Antoine Beugnard. 4. Xu Zhang (10/2010 – 02/2012), A Distributed Package Administration Network, Directeur de thèse : Antoine Beugnard, thèse abandonnée. 5. Sebastien Martinez (10/2012 – ), Impact de la mise à jour dynamique sur la chaîne de production des logiciels, et vice versa, Directeur de thèse : Fabien Dagnat, thèse en cours. J’ai également encadré les post-doctorants et ingénieurs suivants : iii iv – Jérémy Buisson, (9/2007-2/2009), post-doctorant – Eveline Kaboré, (9/2008-2/2009), post-doctorante – Florent Diller, (10/2011-3/2012), ingénieur – Sylvain Guérin, (2/2015-7/2015), ingénieur D’autre part, j’ai encadré 17 stages de master recherche ainsi que de nombreux autres stagiaires : 1. David Chemouil, ENSEEIHT (2000), Docteur 2. Kamal Gakhar, Université de Paris XI (2003), Docteur 3. Meriem Belguidoum, Université de Versailles Saint Quentin en Yvelines (2004), Docteur 4. Do Manh Ha, IFI Hanoï (2004) 5. Roméo Said, Télécom Bretagne (2006), Docteur 6. Mohamed Kawtharany, Université de Bretagne Occidentale Brest (2006), Docteur 7. Benoît Vleminckx, Université de Namur (2007), Ingénieur 8. Nguyen Van Hien, IFI Hanoï (2007), Docteur 9. Tuan Anh Trinh, IFI Hanoï (2007), Ingénieur 10. Sebastien Canart, Université de Namur (2008), Ingénieur 11. Cécilia Carro, Université de Buenos Aires (2008) 12. Xu Zhang, Télécom Bretagne (2010), Ingénieur 13. Chafik Merkak, Télécom Bretagne (2011), Ingénieur 14. Chen Xi, Télécom Bretagne (2011) 15. Hanbing Li, Télécom Bretagne (2012), Thèse 16. Mehdi Alaoui Belghiti, Télécom Bretagne (2013) 17. Rachid Ayoubi, École Nationale d’Ingénieurs de Brest (2014) Les différents travaux ont été effectués en collaboration avec de nombreux étudiants ou collègues que je tiens à remercier : 1. Anthony Abou Naoum (étudiant TB) 2. Rachid Ayoubi (master) 3. Mehdi Alaoui Belghiti (master) 4. Fan Bai (étudiant TB) 5. Meriem Belguidoum (doctorante puis collègue université de Constantine) 6. Matthieu Belin (étudiant TB) 7. Loïc Besnard (collègue IRISA) 8. Antoine Beugnard (collègue TB, éternel partenaire de discussion) 9. Jean-Paul Bodeveix (collègue IRIT) 10. Sylvain Bouveret (collègue ONERA) 11. Julien Brunel (collègue ONERA) 12. Jérémy Buisson (post-doctorant puis collègue Saint-Cyr) 13. Sebastien Canart (master) v 14. Cecilia Carro (étudiante) 15. Everton Calvacante (post-doctorant) 16. David Chemouil (master puis collègue ONERA) 17. Xi Chen (master) 18. Yijun Chen (étudiant TB) 19. Jérémy Cloarec (étudiant TB) 20. Denis Conan (collègue TSP) 21. Alexandre Cortier (collègue CNES) 22. Sophie Chabridon (collègue TSP) 23. Florian Dematraz (étudiant TB) 24. Vincent Desprez (étudiant TB) 25. Florent Diller (ingénieur) 26. Florian Eizaguirre (étudiant TB) 27. Abbas Farhat (étudiant TB) 28. Ali Fendri (étudiant TB) 29. Mamoun Filali (collègue IRIT) 30. Kamal Gakhar (master) 31. Sainyam Galhotra (étudiant) 32. Johan Gall (étudiant TB) 33. Gérald Garcia (collègue Thalès Alenia Space) 34. Thierry Gautier (collègue IRISA) 35. Adrien Gentil (étudiant TB) 36. Dorian Gilly (étudiant TB) 37. Fahad Golra (doctorant) 38. Serge Guelton (étudiant TB puis collègue Quarkslab) 39. Sylvain Guérin (collègue Openflexo) 40. Christophe Guychard (collègue Openflexo) 41. Do Manh Ha (master) 42. Li Hanbing (master) 43. Jean-Baptiste Heidet (étudiant TB) 44. Hugo Hervoche (étudiant TB) 45. Lijun Huang (étudiant TB) 46. Piotr Jankowski (étudiant TB) 47. Wei Jiang (étudiant TB) 48. Evelyne Kabore (post-doctorante) 49. Mohamed Kawtharany (master) 50. Elena Leroux (collègue IRISA) vi 51. Étienne Louboutin (étudiant TB) 52. Marco Vereda Manchego (étudiant TB) 53. Sebastien Martinez (doctorant) 54. Chafik Merkak (master) 55. Xavier Olive (collègue Thalès Alenia Space) 56. Julien Ouy (collègue IRISA) 57. Marc Pantel (encadrant de thèse puis collègue IRIT) 58. Yue Peng (étudiant TB) 59. Luc Planche (collègue Astrium) 60. Arnaud Rinquin (étudiant TB) 61. Ana-Elena Rugina (collègue Astrium) 62. Roméo Said (master) 63. Mickaël Salaun (collègue FT R&D) 64. Arnaud Saric (étudiant TB) 65. Peiqi Shi (étudiant TB) 66. Gwendal Simon (collègue TB) 67. Martin Strecker (collègue IRIT) 68. Nicolas Szlifierski (étudiant TB) 69. Chantal Taconet (collègue TSP) 70. Jean-Pierre Talpin (collègue IRISA) 71. Tuan Anh Trinh (doctorant) 72. Nguyen Van Hien (master) 73. Benoît Vleminckx (master) 74. Xu Zhang (doctorant) Table des matières 1 Introduction1 1.1 Le contexte.......................................................................... 1 1.2 Démarche............................................................................ 2 1.3 Plan du document.................................................................. 3 2 La dépendance pour gérer les logiciels5 2.1 Motivation .......................................................................... 5 2.2 Des logiciels à base de composants................................................ 7 2.3 Des descriptions mathématiques .................................................. 9 2.3.1 La dépendance.............................................................. 9 2.3.2 Le contexte ................................................................. 10 2.4 Des règles mathématiques de déploiement........................................ 12 2.4.1 L’installation................................................................ 12 2.4.2 Description de la désinstallation .......................................... 15 2.4.3 Mise à jour des composants ............................................... 17 2.5 Extension avec des propriétés ..................................................... 19 2.5.1 Propriétés et contraintes................................................... 19 2.5.2 Impacts sur le système....................................................