Last modified by Simon Bliudze on 2021/11/23 16:53
Hide last authors
Helene Coullon 1.1 1 === Description: ===
2
3 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.
Helene Coullon 1.2 4 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. 
5 This group is open to a broad family of researchers from various communities: software engineering, languages, control theory, application domains (IoT, CPS), etc.
Helene Coullon 1.1 6
Helene Coullon 1.7 7 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/>>https://gdrgpl.myxwiki.org/xwiki/bin/view/Main/]]
8
Helene Coullon 1.5 9 === Chairs: ===
10
Helene Coullon 3.1 11 * **Rabéa Ameur-Boulifa**, Associate professor at Institut Polytechnique Paris, Telecom-Paris - **Rabea.Ameur-Boulifa [at] telecom-paris.fr**
12 * **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**
13 * **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**
Helene Coullon 1.5 14
Helene Coullon 1.3 15 === Teams: ===
Helene Coullon 1.1 16
Helene Coullon 1.3 17 * CASH, LIP, Lyon
18 * CONVECS, LIG, Grenoble
19 * Ctrl-A, LIG, Grenoble
20 * SPADES, LIG, Grenoble
Simon Bliudze 3.2 21 * MOHYTOS, Verimag, Grenoble
Helene Coullon 1.3 22 * MYRIADS, IRISA, Rennes
23 * PASS, IRISA, Rennes
24 * DiverSE, IRISA, Rennes
25 * SARA, LAAS, Toulouse
26 * STACK, LS2N, Nantes
27 * SPIRALS, CRISTAL, Lille
28 * MAREL, LIRMM, Montpellier
29 * SCALE, I3S, Nice Sophia-Antipolis
30 * LABSTOC, LTCI, Paris
31 * CPSA, LIUPPA, Pau
32 * MoVe, LIP6, Paris
33 * UQAM, Montréal
34
35 === Activities: ===
36
37 * Face-to-face meetings
38 * Remote meetings
39 * Asynchronous messaging solution
Helene Coullon 1.4 40 * Workshops
41 * Summer schools
42
43 === Other working groups (GT) and research groups (GDR): ===
44
45 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):
46
47 * GDR MACS (Modélisation, Analyse et Conduite des Systèmes dynamiques) that studies the modeling, analysis and execution of dynamic systems;
48 * 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;
49
50 Furthermore, we have identified that exchanges with other working groups (GT) of GDR GPL would also be important:
51
52 * GT MTV2 (Méthodes de Test pour la Vérification et la Validation) that studies tests and verification methods;
53 * GT IDM (Ingénierie dirigées par les moèles) that studies Model-Driven Engineering;
54 * GT VL (Vélocité logicielle) that studies continuous deployment, continuous delivery and continuous integration practices in the DevOps community;
55 * GT HiFi (Méthodes Formelles et Programmation Haute Fidélité pour sysèmes Critiques Emergents) that studies formal methods for emergent critical systems;
56 * GT GLIA (Génie Logiciel et Intelligence Artificielle) that studies software engineering associated with artificial intelligence.