1

GDR Génie de la Programmation et du Logiciel

GDR 3168

http://gdr-gpl.cnrs.fr/

Laurence Duchien, Université Lille 1/ LIFL/INRIA Laurence.Duchien@univ-lille1.fr

Qu’est-ce qu’un GDR ?

•  Structuration d’une communauté de recherche

•  Echange, collaborations, regards croisés sur la discipline

•  Animer et faire grandir la communauté •  En terme de visibilité/rayonnement •  En terme de résultats •  En terme de personnel (préparer les recrutements)

2

3

Sommaire

•  Motivations •  Enjeux scientifiques •  Structuration du GDR •  Conclusion

4

Motivations

Un bref historique du domaine

•  Le terme « Software Engineering » a été inventé lors d’une réunion de OTAN (Garmisch-Partenkirchen) en 1968

•  ICSE & IEEE TSE débutent en1975

•  Apparition de conférences de haut niveau dans les années 80 •  ESEC, FSE, OOPSLA, ECOOP, ASE, FASE

•  ACM TOSEM en 1992 •  Beaucoup de conférences spécialisées

•  RE, AOSD/Modularity, ICSM, ICST, ISSRE, MODELS, CBSE, SPLC …

5

6

En pratique

17/06/2013

2

Practice of Software Engineering� Historical perspective: exponential growth

1965 1975 1985 1995 2005 2015 Time

Size of« big »projects(LOC)109

108

107

106

105

104 Compiler

Packet Switching System

Nuclear Submarine Control

GSM Network

Linux, Windows

Systems of Systems

CNRS, June 2013

Key Challenges in Software Enginering:Decomposition & Composition� Quest for modularity mechanisms supporting

modular-*� Design, Composition, Reasoning, Verification, Evolution,

Dynamic Adaptation

� On many dimensions� Functional� Extra-functional

• Timeliness, Safety, Security, QoS, Energy

� With a specific approach:� research in Engineering

CNRS, June 2013

Cœur de métier

•  Travail sur des abstractions logicielles •  Concepts, outils, langages, modélisation, processus,

validation, vérification, tests •  Pour du logiciel fiable •  Pour du logiciel évolutif •  Pour une aide aux concepteurs de logiciels

•  Nouveaux domaines •  Informatique embarquée, intelligence ambiante,

extension du Web, Internet des objets, Cloud Computing •  Prise en compte de nouveaux enjeux de société

•  Développement durable, mobilité, économie d’énergie 7

Quelques points-clés en GL •  Tradition forte en France sur les méthodes

formelles & preuves de programmes •  Mais en GL, on travaille aussi sur

•  Modularité •  Composition, décomposition – composant sur étagère ? •  Séparation des préoccupations

•  Cycle de vie •  Différentes étapes du cycle de vie – continuité ? •  Analyse des besoins, conception, vérification, évolution, adaptation

dynamique •  Dans des dimensions différentes

•  Fonctionnelles •  Extra-fonctionnelles

•  Sûreté, Sécurité, QoS, Energie 8

De la recherche à la pratique

•  La maturation demande du temps •  15-20 ans entre la première publication d’une idée et son

adoption dans de nombreux produits

•  Certains mécanismes ont réussi à avoir un impact •  Connaissance transmise par les personnes

•  Mobilité •  Toutes les traces d’impacts ramènent à des thèses •  Ex : Exceptions à l’exécution, Gestion des configurations, MOM

•  [Determining the impact of Software Engineering Research on Practice, Osterwell L., Ghezzi C., Kramer J., Wolf A., IEEE Computer, March 2008.]

9

2008 - Création du GDR GPL

•  Nouveau GDR •  Groupes de travail issus du GDR ALP

•  Reprise de thématiques du GDR ALP •  + Nouvelles communautés issues d’Actions

Spécifiques

•  Recréer et animer une communauté scientifique

11

Enjeux scientifiques

Les grands enjeux scientifiques (1)

•  Structuration des logiciels pour leur évolution •  Considérations transverses, qualité de la structure

•  Prise en compte de l’utilisateur final •  Participation active, end-user programming, DSL, langage de

prototypage

•  Accès aux services et composants •  Infrastructure pour la recherche de services et composants •  Modèle universel de composants et services pour le Cloud

computing 12

Les grands enjeux scientifiques(2)

•  Prise en compte de la consommation de ressources dans les outils logiciels •  Sensibiliser l’utilisateur final et le développeur aux problèmes de

consommation avec des outils d’introspection/réflexion adaptés

•  Modélisation des connaissances et de l’incertain •  Partage de connaissance avec l’utilisateur/développeur •  Adaptation au contexte d’utilisation – incertitude dans les phases de

développement

•  Méthodes et outils de vérification et de validation •  Chaîne continue de développement, traçabilité sémantique, passage à

l’échelle

•  [Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL, Laurence Duchien, Yves Ledru, Technique et Science Informatiques (TSI) 31, 3 (2012) 397-413]

13

Les sujets chauds (ICSE 2013)

14

17/06/2013

4

Hot topics (eg ICSE 13 program)

CNRS, June 20137

Impact of SE research on SE practice

� Maturation needs time� 15-20 years between first publication of an idea and widespread

availability in products

� Substantially different mechanisms have been successful at causing impact� people are key to knowledge transmission

• people movement• almost all impact traces lead back to PhD theses

� Ref• Osterweil, L.J., Ghezzi, C., Kramer, J., Wolf, A.L. Determining the

Impact of Software Engineering Research on Practice . IEEE Computer, March 2008.

CNRS, June 20138

450 soumissions 1500 participants ~15% acceptation ~50% US Communauté française peu présente

15

Structuration du GDR

Structuration

•  1 comité de direction •  Directeur + Responsables de pôles + Directeur Ecole Jeunes

Chercheurs •  Langages et vérifications •  Développement de logiciels

•  1 comité scientifique •  8 groupes + 2 actions

•  ~ 93 équipes dénombrées en 2011 •  ~ 630 membres •  ~ 250 doctorants

16

Actions

•  Animation de la communauté •  Journées nationales

•  Nancy en avril 2013 •  140 personnes •  3 evts en // •  11 sessions •  3 conf. Invités •  1 table ronde

•  Paris-CNAM 10-13 juin 2014 •  + Evénements associés

•  Réunions des groupes de travail

•  ~10/an financées en partie par le GDR •  Soutien aux manifestations nationales et internationales

Actions

•  Actions de prospectives •  Défis pour le Génie Logiciel 2020 •  Actions spécifiques

•  Empirical software & Plate-forme d’enseignement du GL •  Livre, réflexion sur un thème, bootstrap pour un montage de projet

•  Mobilité GPL •  Club industriel en cours de montage

•  Actions vers les jeunes chercheurs •  EJCP •  Mobilité •  Accès gratuit aux JN •  Prix de thèse

Groupes de travail & actions COSMAL - Composants Objets Services : Modèles, Architectures et Langages

Pascal Poizat, Univ Paris X, LIP6 Romain Rouvoy, Univ Lille 1, LIFL

FORWAL - Formalismes et Outils pour la Vérification et la Validation

Yohan Boichut, Univ. Orléans, LIFO Pierre Cyrille Heam, Univ Franche Comté, LIFC

LaMHA - Langages et Modèles de Haut-niveau pour la programmation parallèle, distribuée, de grilles de calcul et Applications

Gaëtan Hains, Univ Paris-Est, LACL Frédéric Gava, Univ Paris-Est, LACL

LTP - Langages, Types et Preuves Catherine Dubois, ENSIIE, CEDRIC Marc Pouzet, ENS, LIENS, IUF

MFDL - Méthodes Formelles dans le Développement Logiciel

Yamine Ait Ameur, ENSEEIHT, IRIT Marie Laure Potet, INP Grenoble, Verimag

MTV2 - Méthodes de test pour la validation et la vérification

Frédéric Dadeau, Univ Franche Comté, LIFC Lydie du Bousquet, Univ. Grenoble, LIG

RIMEL - Rétro-Ingénierie, Maintenance et Evolution des Logiciels

Salah Sadou, Univ Bretagne Sud, IRISA Chouki Tibermacine, Univ. Montpellier, LIRMM

Compilation Laure Gonnord, Univ Lille 1, LIFL Fabrice Rastello, INRIA/LIP, ENS Lyon

Action AFSEC - Approches Formelles des Systèmes Embarqués Communicants Commune avec GDR ASR

Claude Jard, ENS Cachan-Bretagne, IRISA Olivier H. Roux, Univ. Nantes, IRCCyN

Action IDM - Ingénierie Dirigée par les Modèles Commune avec GDR ASR et I3

Isabelle Borne, Univ Bretagne Sud, IRISA Sara Tucci, CEA-LIST

19

Comité scientifique Franck Barbier Univ Pau et des Pays de l’Adour, LIUPPA Charles Consel Univ. Bordeaux, LABRI Roberto Di Cosmo Univ Paris VII, PPS Christophe Dony Univ. Montpellier, LIRMM Stéphane Ducasse Univ. Lille, INRIA, LIFL Jacky Estublier Univ. Grenoble, LIG Nicolas Halbwachs Univ. Grenoble, VERIMAG Marie-Claude Gaudel Univ. Orsay, LRI Gaëtan Hains Univ Paris-Est, LACL Valérie Issarny INRIA, Rocquencourt Jean-Marc Jézéquel Univ Rennes, IRISA Dominique Méry Univ Nancy, LORIA Christine Paulin Univ. Orsay, LRI

20

Outils électroniques de communication

•  Liste de diffusion •  gdr.gpl@imag.fr •  680 abonnés •  30 messages par mois

•  Site web : http://gdr-gpl.cnrs.fr •  Support des journées nationales •  Annonces d’événements

•  Hébergés à Grenoble

•  You are Welcome !

Evènements 2013-2014

22

23

Conclusion

Conclusion

•  Communauté de recherche vivante •  Les universités enseignent le GL-> équipes dans de

nombreuses universités •  Stratégique pour beaucoup de pays •  A un réel impact sur les pratiques GL

•  De nombreux challenges nouveaux •  Frontière entre conception et exécution

•  Systèmes Autonomes/pervasifs/adaptatifs •  Gestion de comportement stochastique

•  Processeurs avec + 1000 cores -> risque + grand de défaillance •  Systèmes de systèmes -> prise en compte de l’incertain

•  Réparation automatique de bugs 24

25

Questions ?