GT YODA "trustworthY and Optimal Dynamic Adaptation"

Version 1.3 by Helene Coullon on 2020/06/10 19:56

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.

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
  •