GDR Génie de la Programmation et du Logiciel - GDR 3168 Duchien, Université Lille 1/ LIFL/INRIA ...
←
→
Transcription du contenu de la page
Si votre navigateur ne rend pas la page correctement, lisez s'il vous plaît le contenu de la page ci-dessous
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
1
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
Sommaire
• Motivations
• Enjeux scientifiques
• Structuration du GDR
• Conclusion
3
Motivations
4
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
En pratique
Practice of Software Engineering
Historical perspective: exponential growth
Size of
« big »
projects
(LOC) Systems of Systems
109
Linux, Windows
108
GSM Network
107
Nuclear Submarine Control
106
Packet Switching System
105
Compiler
104
1965 1975 1985 1995 2005 2015 Time
CNRS, June 2013 6
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.]
92008 - 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é
scientifiqueEnjeux scientifiques
11Les 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
12Les 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]
13Les sujets chauds (ICSE 2013)
Hot topics (eg ICSE 13 program)
450 soumissions
1500 participants
~15% acceptation
~50% US
Communauté française
peu présente
7
CNRS, June 2013 14Structuration du GDR
15Structuration
• 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
16Actions
• 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 internationalesActions
• 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èseGroupes de travail & actions
COSMAL - Composants Objets Services : Modèles, Pascal Poizat, Univ Paris X, LIP6
Architectures et Langages Romain Rouvoy, Univ Lille 1, LIFL
FORWAL - Formalismes et Outils pour la Yohan Boichut, Univ. Orléans, LIFO
Vérification et la Validation Pierre Cyrille Heam, Univ Franche Comté, LIFC
LaMHA - Langages et Modèles de Haut-niveau Gaëtan Hains, Univ Paris-Est, LACL
pour la programmation parallèle, distribuée, de Frédéric Gava, Univ Paris-Est, LACL
grilles de calcul et Applications
LTP - Langages, Types et Preuves Catherine Dubois, ENSIIE, CEDRIC
Marc Pouzet, ENS, LIENS, IUF
MFDL - Méthodes Formelles dans le Yamine Ait Ameur, ENSEEIHT, IRIT
Développement Logiciel Marie Laure Potet, INP Grenoble, Verimag
MTV2 - Méthodes de test pour la validation et la Frédéric Dadeau, Univ Franche Comté, LIFC
vérification Lydie du Bousquet, Univ. Grenoble, LIG
RIMEL - Rétro-Ingénierie, Maintenance et Salah Sadou, Univ Bretagne Sud, IRISA
Evolution des Logiciels 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 Claude Jard, ENS Cachan-Bretagne, IRISA
Embarqués Communicants Olivier H. Roux, Univ. Nantes, IRCCyN
Commune avec GDR ASR
Action IDM - Ingénierie Dirigée par les Modèles Isabelle Borne, Univ Bretagne Sud, IRISA 19
Commune avec GDR ASR et I3 Sara Tucci, CEA-LISTComité 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
20Outils é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
22Conclusion
23Conclusion
• 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 24Questions ?
25Vous pouvez aussi lire
