JDEV 2013
La deuxième édition des Journées nationales du Développement Logiciel a eu lieu les 4-5-6 septembre 2013 à l’Ecole polytechnique (Palaiseau/Ile-de-France). Il s'agissait d'une Action Nationale de Formation inter-établissements, soutenue par la Mission pour l'interdisciplinarité du CNRS, Inria et l’INRA.
Ouverte à tous les acteurs du développement de logiciels dans l'Enseignement Supérieur et la Recherche, cette manifestation s'est donné pour objectif d’améliorer la qualité et la pérennité de nos productions logicielles, ainsi que d’ouvrir de nouvelles perspectives avec la présentation des derniers outils et méthodes existants. Les pratiques adaptées au contexte scientifique ont été privilégiées.
Le programme était organisé en huit thématiques, détaillées ci-dessous. Chacune comprenait une demi-journée de présentations pour faire le point sur l'état de l'art et apprendre des connaissances générales, des ateliers pour acquérir un savoir-faire et des groupes de travail pour échanger des retours d'expérience, enrichir sa veille et débattre sur les verrous technologiques et méthodologiques.
Vidéos à la demande
Sessions plénières en amphithéâtre Poincaré et sessions thématiques en amphithéâtre Gay-Lussac (T5, T8, T6 et T4)
- Programme d'ouverture (mercredi de 9h30 à 12h30)
- Programme de clôture (vendredi de 14h à 16h30)
Sessions thématiques en amphithéâtre Becquerel (T1, T2, T3 et T7)
- Application pour tablette ou téléphone iOS : Adobe® Connect™ Mobile for iOS
- Application pour tablette ou téléphone Android : Adobe® Connect™ Mobile
Soirée musique numérique
Programme
Session d'ouverture
L'ouverture se tiendra dans le grand amphithéâtre Poincaré, mercredi matin à partir de 9h30.
Vidéos de la session d'accueil
- Mot de bienvenue de l'Ecole polytechnique
Patrick Le Quéré (Directeur Général Adjoint chargé de la Recherche) - Mot de bienvenue de l'instance d'organisation CNRS
Alexandre Teste (Responsable Formation DR14) - Présentation du réseau national Devlog
Frédéric Camps (LAAS, DEVLOG) - Présentation des JDEV2013
Pascal Dayre (IRIT, DEVLOG)
Les langages de programmation, bien qu'extraordinairement nombreux et variés, reposent au final sur un petit nombre de constructions et de choix de conception. Ces constructions et choix définissent essentiellement les différents paradigmes de programmation, mais sont également sujets à des effets de mode plus ou moins durables. Lors de cet exposé, nous passerons en revue un certain nombre de ces constructions et choix, nous intéressant à la fois à ceux qui font consensus et à ceux sujet à controverse. Outre un examen des dernières évolutions et tendances, nous présenterons quelques unes des évolutions possibles et probables pour les années à venir.
- Langage de nouvelle génération pour la modélisation et vérification formelle de systèmes asynchrones
Frédéric Lang (INRIA) jdev-flang.pdf vidéo
La boîte à outils CADP permet de spécifier et vérifier formellement les “systèmes concurrents asynchrones”, constitués d'agents qui s'exécutent en parallèle à des vitesses indépendantes et communiquent par messages. Le système à vérifier est spécifié dans un langage formel, parfaitement défini mathématiquement, de sorte à pouvoir générer l'ensemble de tous ses comportements à des fins de vérification. A l'origine, le principal langage de spécification de CADP était LOTOS, normalisé par l'ISO en 1989. Mais la syntaxe ardue de LOTOS s'avère inadaptée à un apprentissage rapide par des utilisateurs non formés aux langages équationnels et aux algèbres de processus, ce qui est le cas de la plupart des utilisateurs non-académiques. C'est pourquoi notre équipe développe un nouveau langage, LOTOS NT (abrégé en LNT), plus proche des langages impératifs classiques, tout en conservant les fonctionnalités utiles à la description des systèmes concurrents asynchrones et sans sacrifier à une définition mathématique stricte. Dans cet exposé, nous présenterons brièvement les principes de la vérification de systèmes concurrents asynchrones avec CADP, du langage LNT et de sa traduction vers LOTOS, désormais utilisé comme langage intermédiaire.
Il y a moins de cinquante ans le “génie logiciel” était proposé pour faire face à certains grands défis nés de la complexité croissante des systèmes. Après avoir essayé de nombreuses solutions allant jusqu’à l’ingénierie dirigée par les modèles ou les approches agiles, il faut bien constater aujourd’hui que la réussite complète n’est pas encore au rendez-vous. Pour prendre en compte l’augmentation exponentielle des besoins en applicatifs dans les prochaines décennies, avec un nombre assez stable de professionnels spécialistes du logiciel, il semble nécessaire d’envisager des innovations de rupture. Quelques pistes peuvent être envisagées autour de la complémentarité entre les ingénieries de domaine et les ingénieries de support.
- Agile ! Le Bon, le Bête et le Méchant
Bertrand Meyer (ETH Zurich, ITMO Saint-Pétersbourg et Eiffel Software) video
Les méthodes agiles sont un remarquable concentré du meilleur et du pire en génie logiciel. Presque toutes les présentations existantes sont des plaidoyers sans recul et sans critique ; ce battage publicitaire et l’exagération constante ne sont pas d’un grand secours pour le praticien qui cherche à comprendre ce que les méthodes agiles peuvent lui apporter et ce qu’il doit en retenir pour son propre travail dans son propre contexte. Le présent exposé résulte d’un effort d’analyse ayant abouti au livre « Agile ! The Good, the Hype and the Ugly » à paraître chez Springer fin 2013. Il offre une présentation concrète et détaillée des principaux concepts agiles et une analyse critique de leurs aspects positifs, indifférents et néfastes.
Thématiques
Du mercredi midi au vendredi midi, huit thématiques se partagent les locaux. Chaque thématique vous propose trois types d'éléments de programme :
- une demi-journée de présentations, en amphithéâtre, pour faire le point sur son état de l'art ;
- des ateliers, pour acquérir un savoir-faire.
- des groupes de travail pour échanger des retours d'expérience, pour enrichir sa veille et débattre sur les verrous technologiques et méthodologiques.
Les groupes de travail ont un ou des animateurs. Vous pouvez prendre contact avec lui pour proposer votre retour d'expérience et/ou apporter vos questionnements. Normalement, bien que le format soit laissé à l'appréciation de l'animateur, un groupe de travail donne lieu à de courtes présentations puis à une table ronde/débat, l'ensemble sur 1h30.
Ci-dessous, la liste des huit thématiques et des liens vers des descriptions plus détaillées, comprenant présentations, ateliers et groupes de travail :
- L'ingénierie des besoins logiciel (informations détaillées) vidéo.
- Les communautés open-source - comprendre, faire, savoir faire (informations détaillées) vidéo.
- Systèmes embarqués, systèmes mobiles, capteurs et acquisition de données (informations détaillées) vidéo.
- Les outils de construction du logiciel (informations détaillées) vidéo des présentations 1 vidéo des présentations 2
- Les tests logiciel pour aller vers plus de pragmatisme (informations détaillées) vidéo des présentation 1 vidéo des présentations 2
- Développer pour calculer (informations détaillées) vidéo.
- Le développement Web: services web et web sémantique (informations détaillées) vidéo des présentations 1 vidéo des présentations 2
Session de clôture
La clôture se tiendra dans le même amphithéâtre, vendredi après-midi jusqu'à 16h30. Le programme est le suivant :
- L'écosystème Eclipse, plate-forme de développement pour la recherche
Gaël Blondelle (la fondation Eclipse)vidéo
Après un retour sur l'histoire d'Eclipse, cette présentation détaille les services proposés par la Fondation Eclipse et la structuration de l'écosystème Eclipse. Ensuite, nous verrons comment la fondation aborde de nouveaux sujets au delà du périmètre initial des outils de développement en intégrant de façon plus importante les utilisateurs des technologies Eclipse. Enfin, nous détaillerons l'initiative qui vise à créer un groupe de travail des utilisateurs d'Eclipse pour la recherche, le Science Working Group.
- La nouvelle plateforme des réseaux de la Mission pour l'Interdisciplinarité
Vanessa Tocut (Mission pour l'Interdisciplinarité du CNRS) plateforme_mi_jdev2013.pdf vidéo
- Bilan et perspectives de DEVLOG
Frédéric Camps (Responsable du réseau Devlog) devlog_jdev2013_v3.pdfvidéo - Table ronde sur les futures actions de Devlog vidéo
Des lots seront remis à des participants tirés au sort, parmi ceux ayant répondus aux questionnaires de satisfaction.
Autres composantes de la manifestation
Remerciements
Les JDEV2013 vous ont été proposées par le réseau DEVLOG et ont été accueillies dans les locaux de l’École polytechnique.
Devlog est le réseau du DEVeloppement LOGiciel dans les établissements de l’Enseignement Supérieur et de la Recherches, et bénéficie du soutien officiel du CNRS (au travers de la Mission pour l’Interdisciplinarité) de l’INRA et de l’INRIA. Il est également appelé à être reconnu par les autres EPSTs (Établissement public à caractère scientifique et technologique) et universités.
Cet événement a été réalisé par les personnels de l’École polytechnique et de ses laboratoires, de DEVLOG et de LoOPS (réseau des développeurs de logiciels scientifiques dans les établissements de l’Enseignement Supérieur et de la Recherche au sud-ouest de Paris).
Frédéric Camps (LAAS), Responsable DEVLOG
Pascal Dayre (IRIT), Porteur et responsable du programme des JDEV2013
David Chamont (LLR), Responsable du Comité Local d’Organisation
Comité de Programme
- Frédéric Camps (LAAS)
- David Chamont (LLR)
- Pascal Dayre (IRIT)
- Marc Dexet (CNRS/DSI)
- Jérôme Euzenat (INRIA & LIG, Grenoble)
- Fabien Gandon (INRIA)
- Étienne Gondet (GET/OBS-MIP)
- Christian Helft (LAL)
- Jean-Michel Inglebert (IRIT)
- Philippe Lacomme (ISIMA)
- Thomas Lallart (INRA)
- Florent Langrognet (CNRS/LMB)
- Hervé Leblanc (IRIT)
- Michel Lemoine (retraité ONERA)
- Antoine Pérus (LAL)
- Fabien Peureux (FEMTO-ST/CNRS, Besançon)
- Stéphane Ribas (INRIA)
- Hervé Richard (INRA)
- Luc Saccavini (INRIA)
Comité d'Organisation
- Gilles Alla (École polytechnique, DSI)
- David Chamont (École polytechnique, LLR)
- Carine Clavaguéra (École polytechnique, DCMR)
- David Delavennat (École polytechnique, CMLS)
- Mickaël Pina (École polytechnique, LULI)
- James Regis (École polytechnique, LIX)
- Jean-Marc Notin (École polytechnique, LIX)
- Jean-Luc Veray (École polytechnique, LULI)
- Olivier Brand-Foissac (LoOPS, LPT)
- Karin Dassas (LoOPS, IAS)
- Marc Dexet (LoOPS, DEVLOG, CNRS/DSI)
- Christian Helft (LoOPS, DEVLOG, LAL)
- Laurent Santandrea (LoOPS, LGEP/SUPELEC)
- Frédéric Camps (DEVLOG, LAAS)
- Pascal Dayre (DEVLOG, IRIT)
- Étienne Gondet (DEVLOG, GET/OBS-MIP)
- Élodie Bourrec (COMPIL, IRAP/OBS-MIP)
- Roxane Castanet (CNRS/DR14)
Partenaire académique
- Université Paris-Sud, Faculté des Science d'Orsay
Laboratoires et services organisateurs
- Centre de Mathématiques Laurent Schwartz (CMLS), École polytechnique, Palaiseau.
- Direction des Systèmes d'Information (DSI), École polytechnique, Palaiseau.
- Direction des Systèmes d'Information du CNRS (DSI/CNRS).
- Géosciences Environnement Toulouse, Observatoire Midi Pyrénées (GET/OMP).
- Institut d'Astrophysique Spatiale.
- Institut de Recherche en Astrophysique et Planétologie, Observatoire Midi Pyrénées (IRAP/OMP).
- Institut de Recherche En Informatique de Toulouse (IRIT), ENSEEIHT, CNRS/INS2I, Toulouse.
- Laboratoire de l'Accélérateur Linéaire (LAL), CNRS/IN2P3 et Université Paris-Sud.
- Laboratoire d’Analyse et d’Architecture des Systèmes (LAAS), CNRS, Toulouse.
- Laboratoire de génie électrique de Paris (LGEP).
- Laboratoire Leprince-Ringuet (LLR).
- Laboratoire des Mécanismes Réactionnels (DCMR), Ecole Polytechnique, CNRS, Palaiseau.
- Laboratoire pour l'Utilisation des Lasers Intenses (LULI).
- Laboratoire d'Informatique de l'École polytechnique (LIX).
- Laboratoire de Physique Théorique, Orsay (LPT).
Sponsors
Sponsor : Micro Sigma - Intel Software
Partenaire « Elite » d’Intel Software en France, Micro Sigma est le revendeur dédié aux outils de développement et spécialiste des environnements de programmation et du HPC. Au service des développeurs depuis sa création en 1984, Micro Sigma commercialise les suites Intel Cluster Studio XE 2013, compilateurs Intel C++ et Fortran et propose des formations à l’utilisation des outils Intel pour l’optimisation et la performance.
Contact : info@microsigma.fr, tél. : 0 810 120 240, http://www.microsigma.fr/intel/
- Stand n°5 mercredi, jeudi et vendredi.
Sponsor : NVIDIA
NVIDIA a révolutionné le monde de l'informatique en inventant le processeur graphique (GPU) en 1999. De l’informatique visuelle, l’entreprise a évolué vers le calcul parallèle, l’informatique mobile et le Cloud Computing. Aujourd’hui, les nouveaux processeurs mobiles NVIDIA boostent une grande gamme de produits allant des smartphones aux tablettes. Les joueurs PC profitent des GPU NVIDIA pour vivre une expérience époustouflante et immersive. L’industrie du cinéma les utilisent afin de créer des effets spéciaux. Les ingénieurs pour concevoir des produits allant des clubs de golf aux avions de ligne. Quant aux chercheurs, ils exploitent la puissance des GPU pour repousser les frontières de la science avec le calcul haute performance. Pour plus d'informations : http://www.nvidia.com/content/company-info/pdf/NVDA-2012CompanyBackgrounder_0612_FINAL.pdf
Contacts : fcourteille@nvidia.fr, http://www.nvidia.fr/
- Présentation en Amphi Becquerel, jeudi 13h15-13h45, avec tirage au sort pour remporter une carte graphique Titan.
Sponsor : Allinea
Allinea est le leader dans le développement d'outils pour la programmation parallèle et le calcul haute Performance (HPC - High Performance Computing). Sa suite d'outils de “debugging” (Allinea DDT) et de “profiling” (Allinea MAP) est destinée aux développeurs (scientifiques, numériciens, ingénieurs en informatiques…) qui travaillent aussi bien sur des stations de travail que sur des supercalculateurs multi-pétaflopiques. Ces outils sont intuitifs, interopérables et extrêmement scalables. Grâce à eux, le temps de développement des codes HPC est drastiquement réduit et les performances applicatives significativement améliorées, ce qui permet d'optimiser l'investissement effectué dans les moyens de calcul. Allinea compte parmi ses clients les organismes les plus réputés au monde, tel que Oak Ridge National Laboratory, Argonne National Laboratory, CEA ou NCSA Blue Waters. Leurs applications balayent un très grand nombre de sujets, comme par exemple la modélisation du climat, l'astrophysique, la conception aéronautique ou même la modélisation financière.
Contact : info@allinea.com, tel +44 (0)1926 623 231, http://www.allinea.com/
- Stand n°10 jeudi et vendredi,
- Atelier « Outils unifiés de profiling et de debugging» vendredi 11h-12h30,
- Présentation “Résoudre dès aujourd'hui les enjeux de développement auxquels sont confrontés la communauté des utilisateurs du HPC”, amphi Becquerel, vendredi 13h15-13h45.
Agenda
Agenda Général
Quelques moments particuliers de la manifestation :
- Accueil des participants : mercredi à partir de 8h30.
- Session d'ouverture : mercredi, en amphi Poincaré, de 9h30 à 12h30.
- Session posters : mercredi, dans le Grand Hall, de 17h30 à 18h30 (les posters resteront en place jusqu'à jeudi 16h30).
- Présentation de NVIDIA : jeudi, en amphi Becquerel, de 13h15 à 13h45.
- Représentation musicale : jeudi, en amphi Arago, de 17h45 à 19h30.
- Présentation d'Allinea : vendredi, en amphi Becquerel, de 13h15 à 13h45.
- Exposition : en permanence dans le Grand Hall (attention, tous les exposants ne sont pas là tous les jours).
- Session de cloture : vendredi, en amphi Poincaré, de 14h à 16h30.
Agenda des Thématiques
Les présentations, groupes de travail et ateliers des thématiques se déroulent du mercredi 14h au vendredi 12h30, en parallèle dans les amphithéâtres Gay-Lussac et Becquerel, dans six autres petits amphithéâtres et dans six petites classes. Ci-dessous, la répartition des différents éléments des huit thématiques.
Questionnaires de satisfaction
Nous souhaitons connaître votre opinion sur la qualité de cette formation. Merci de consacrer quelques minutes pour remplir les questionnaires (général, ateliers, perspectives DEVLOG) qui sont disponibles :
- Questionnaire atelier(merci de remplir un questionnaire par atelier):
Les documents d'accueil en ligne
Les bulletins
Informations pratiques
Hébergement
Se rendre à l'Ecole polytechnique
Vous êtes automobiliste ? Entrez sur le site par l'entrée principale nord, et suivez les indications vers la cour des cérémonies.
Vous êtes à pied ? Utilisez le RER B, direction Saint-Rémy-lès-Chevreuse. L'option à privilégier, si vous êtes en condition physique correcte et pas trop chargé, consiste à descendre à l'arrêt Lozère et à profiter de la célèbre montée des marches, bucolique mais un peu pentue…
De la station RER Lozère à l'Ecole.
Sinon, descendez à l'arrêt Massy-Palaiseau, puis enchaînez par un bus 91.06 (B,C) ou 91.10, et descendez à l'arrêt Polytechnique Lozère. Le risque de cette dernière option, en apparence la plus confortable, tient à l'affluence importante vers ce bus aux heures de pointe. Le transporteur a été averti de la manifestation, mais n'a pas l’intention de renforcer la desserte. On peut craindre des difficultés aux bus de Massy-Palaiseau mercredi matin.
S’orienter sur le campus
Il peut être délicat de trouver les lieux précis de la conférence le premier jour, notamment pour ceux qui arrivent à pied. Une seule consigne : cherchez le “Grand Hall”.
Nous placerons des flèches pour faciliter la tâche.
Inscriptions
Inscription administrative
Les inscriptions administratives à la manifestation sont closes. Elles donnent accès à toutes les présentations plénières (amphithéâtre Poincaré) et thématiques (amphithéâtres Gay-Lussac et Becquerel). Si vous avez recu les courriels d'information, en particulier les bulletins #1 et #2, votre inscription est bien validée.
Inscription aux ateliers et groupes de travail
La participation aux ateliers et groupes de travail requiert une inscription supplémentaire, dite “inscription au programme”. Si vous avez déjà rempli (et validé) ce questionnaire, vous pouvez revoir vos choix dans les listes suivantes :
Sinon, remplissez le ce questionnaire.
Attention :
- Certains ateliers sont complets. Merci de privilégier les ateliers et les groupes de travail pour lesquels il reste des places, il y a des choses passionnantes à y découvrir !
- Conserver une copie de vos choix (le formulaire ne vous envoie pas de copie).
- Les listes ci-dessus ne sont pas regénérées automatiquement. Leur mise à jour peut demander quelques jours.
Edition JDEV2011
La première édition s'est tenue à l'ENSEEIHT/INP les 29 et 30 septembre 2012, avec le soutien de l'INRIA, l'INRA, la MRCT, la DR14, l'UPS, l'IRIT et le LAAS. 16 réseaux se sont affiliés au réseau DEvlog et ont donné à Devlog un caractère inter-établissements.
