Programme

Programme détaillé : pdf

Actes des journées : pdf

Actes d'AFADL : pdf

Actes de CIEL : pdf

Journée Mardi 11/06/2019 Mercredi 12/06/2019 Jeudi 13/06/2019 Vendredi 14/06/2019
Événements GDR GDR - AFADL GDR - AFADL - CIEL AFADL - CIEL
09h00 - 10h30 Café / Accueil
(Hall C)
Invité
Alan Schmitt
(B00)
Invités
Camille Fayollas, Olivier Flebus, Hugues Bonnin
Continental Digital Services France
(B00)
AFADL
(A002)
CIEL
(C002)
10h30 - 11h00 Café / Accueil
(Hall C)
Pause
(C101-103)
Pause
(C101-103)
Pause
(C101-103)
11h00 - 12h30 Invité
Romain Rouvoy

(B00)
Session GT
RIMEL + GLE + LOUISE
(C002)
GT + AFADL
MFDL + AFSEC + AFADL
(A002)
Session GT
RIMEL + GLE + LOUISE
(C002)
GT + AFADL
MTV2 + AFADL
(A002)
AFADL
(A002)
CIEL
(C002)
12h30 - 14h00 Déjeuner
(C101-103)
Déjeuner
(C101-103)
Déjeuner
(C101-103)
Déjeuner
(C101-103)
14h00 - 16h00 Groupe 1
13h45
Départ visite Airbus
Groupe 2
13h45-15h15
Session GT
IE
(C002)
Nouvelles du CNRS
Remise du prix de thèse
(B00)
Atelier
Certification & Argumentation **
(A001)
AFADL
(A002) CIEL
(C002)
16h00 - 16h30 Visite Airbus 15h15-15h30
Pause
(C101-103)

15h30
Départ visite Airbus
Pause
(C101-103)
Pause
(C101-103)
16h30 - 18h00 17h30-18h00
Pause
(C101-103)

18h00-19h30
Session GT
IDM
(C002)

18h00-19h30
Session GT
LaHMA + Compil
(A002)

Visite Airbus Session GT
SDS
(C002)
GT + AFADL
LTP + AFADL
(A002)
AFADL (A002) CIEL
(C002)
18h00-18h30
AG du GDR
(B00)
19h30
Cocktail
Posters et Démos *
(Hall C)
20h00
Dîner de gala
Le Moaï
* Appel à contribution
** Atelier Certification & Argumentation
Romain Rouvoy (Mardi 11 Juin 2019 à 11h)
Quels défis pour le développement durable des logiciels ?
Face à la multiplication des services en ligne qui envahissent notre quotidien, la question du développement durable se pose plus que jamais pour le génie logiciel. En effet, le déploiement massif de services numériques a contribué à l’explosion de la consommation énergétiques des centres de données au cours des dernières années avec des prévisions ciblant 20% de la consommation mondiale à l’horizon 2025. Sans négliger les nombreux enjeux que posent cette évolution des usages, la réduction de l’empreinte énergétique des services logiciels revêt néanmoins un défi particulièrement critique au regard de la disponibilité limitée des ressources de notre planète. Le caractère pluri-disciplinaire de cette thématique de recherche requiert un effort coordonné dans de nombreux domaines afin de pouvoir obtenir des gains significatifs. Au cours de cette présentation, je m’efforcerai donc d’illustrer les différentes dimensions de cette thématique de recherche au travers des travaux que nous avons engagé dans l’équipe Spirals depuis 2010.
Alan Schmitt (Mercredi 12 Juin 2019 à 9h)
Sémantiques Formelles de JavaScript
Pourquoi formaliser un langage de programmation ? Parce que cela permet de mieux le définir, afin que ses utilisateurs puissent programmer plus rigoureusement. Parce que cela rend également possible la vérification formelle de propriétés de programmes, par exemple avec des assistants de preuves. Depuis 2013, nous formalisons le langage JavaScript. Dans cet exposé, nous décrirons les différentes approches que nous avons suivies, nous montrerons les outils que nous avons développés, nous aborderons nos relations avec le comité de standardisation, et enfin nous parlerons des nouveaux défis scientifiques issus de ces travaux.
Camille Fayollas, Olivier Flebus, Hugues Bonnin (Continental Digital Services France) (Jeudi 13 Juin 2019 à 9h)
Enjeux du développement de services pour les véhicules connectés
En connectant massivement les véhicules, leurs capteurs et systèmes, à une plateforme de services, le projet eHorizon de Continental permet l’émergence d’applications automobiles innovantes embarquées en matière de sécurité, d’efficacité énergétique et de confort. Le développement de tels services et applications entraine l’utilisation de technologies et de pratiques telles que l’informatique nuagique, les approches centrées sur les données, l’intelligence artificielle, les méthodes agiles, … Celles-ci sortent du cadre des pratiques de développement pour les systèmes embarqués critiques et leur utilisation, pour des services automobiles, implique des enjeux que nous introduirons dans cette présentation.