Description:

In recent years, distributed software systems have faced a set of new challenges raised by new Internet-scale distributed systems and highly dynamic infrastructures. Indeed, with the growth of the Internet-of-Things and Cyber-Physical Systems domains, new kinds of highly dynamic applications such as applications for smart-cities or Industry 4.0 have emerged, some of them being critical for cost or safety reasons thus calling for formal guarantees of correctness.
Furthermore, new kinds of distributed utility computing paradigms have also recently and quickly entered the landscape such as Fog-, Edge- or mobile-computing, where devices may dynamically enter or leave the infrastructure. This rapid growth in dynamicity calls for programming support mature enough to provide safe and reliable adaptation mechanisms, but also such software-engineering-related properties as modularity, abstraction, and composability. This working group is intended to host discussions of new trends and foster contributions of the French community to the definition of adaptation mechanisms that would allow developers to design trustworthy and optimal dynamic distributed software and systems. 
This group is open to a broad family of researchers from various communities: software engineering, languages, control theory, application domains (IoT, CPS), etc.

For more details on associated challenges, the document "Safe and optimal component-based dynamic reconfiguration" is available at https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/

Chairs:

  • Rabéa Ameur-Boulifa, Associate professor at Institut Polytechnique Paris, Telecom-Paris - Rabea.Ameur-Boulifa [at] telecom-paris.fr
  • Simon Bliudze, Junior Scientist at INRIA Lille - Nord Europe and part-time Assistant Professor at the Computer Science department of Ecole polytechnique, Paris - simon.bliudze [at] inria.fr
  • Hélène Coullon, Associate Professor at IMT Atlantique, Nantes and part-time researcher et Inria Rennes - Bretagne Atlantique (chair) - helene.coullon [at] imt-atlantique.fr

Teams:

  • CASH, LIP, Lyon
  • CONVECS, LIG, Grenoble
  • Ctrl-A, LIG, Grenoble
  • SPADES, LIG, Grenoble
  • RSD, Verimag, Grenoble
  • MYRIADS, IRISA, Rennes
  • PASS, IRISA, Rennes
  • DiverSE, IRISA, Rennes
  • SARA, LAAS, Toulouse
  • STACK, LS2N, Nantes
  • SPIRALS, CRISTAL, Lille
  • MAREL, LIRMM, Montpellier
  • SCALE, I3S, Nice Sophia-Antipolis
  • LABSTOC, LTCI, Paris
  • CPSA, LIUPPA, Pau
  • MoVe, LIP6, Paris
  • UQAM, Montréal

Activities:

  • Face-to-face meetings
  • Remote meetings
  • Asynchronous messaging solution
  • Workshops
  • Summer schools

Other working groups (GT) and research groups (GDR):

Adaptation and dynamicity are studied within many different research domains. For this reason, this working group (GT) of the GDR GPL (software engineering and languages) would probably benefit from exchanges and discussions with other research groups (GDR):

  • GDR MACS (Modélisation, Analyse et Conduite des Systèmes dynamiques) that studies the modeling, analysis and execution of dynamic systems;
  • GDR RSD (Réseaux et Sysèmes distribués) that studies networks and distributed systems where domains such as dynamic networks (5G), dynamic infrastructures (Fog- Edge-computing), adaptations for energy concerns, and application domains such as IoT and CPS are studied;

Furthermore, we have identified that exchanges with other working groups (GT) of GDR GPL would also be important:

  • GT MTV2 (Méthodes de Test pour la Vérification et la Validation) that studies tests and verification methods;
  • GT IDM (Ingénierie dirigées par les moèles) that studies Model-Driven Engineering;
  • GT VL (Vélocité logicielle) that studies continuous deployment, continuous delivery and continuous integration practices in the DevOps community;
  • GT HiFi (Méthodes Formelles et Programmation Haute Fidélité pour sysèmes Critiques Emergents) that studies formal methods for emergent critical systems;
  • GT GLIA (Génie Logiciel et Intelligence Artificielle) that studies software engineering associated with artificial intelligence.
Tags: