Phd Position F/m Handling Dynamic Constraints and Deadlines in Distributed Software Reconfiguration

Le descriptif de l’offre ci-dessous est en Anglais_ **Type de contrat**: CDD **Niveau de diplôme exigé**: Bac + 5 ou équivalent **Fonction**: Doctorant **A propos du centre ou de la direction fonctionnelle**: The Centre Inria de l’Université de Grenoble groups together almost 600 people in 24 research teams and 9 research support departments. Staff is present on three campuses in Grenoble, in close collaboration with other research and higher education institutions (Université Grenoble Alpes, CNRS, CEA, INRAE,), but also with key economic players in the area. The Centre Inria de l’Université Grenoble Alpes is active in the fields of high-performance computing, verification and embedded systems, modeling of the environment at multiple levels, and data science and artificial intelligence. The center is a top-level scientific institute with an extensive network of international collaborations in Europe and the rest of the world. **Contexte et atouts du poste**: - co-advised by - Sophie Cerf (Ctrl-A, Grenoble), INRIA - Eric Rutten (Ctrl-A, Grenoble), INRIA - Hélène Coullon (Stack, Nantes), IMT Atlantique Within the framework of a collaboration partnership between 2 Inria teams: Ctrl-A and Stack, funded by the Taranis project of the PEPR Cloud. **Mission confiée**: Autonomic management and orchestration of distributed systems use feedback control loops [IBM03] that react to perceived variations (events or values in the system and its environment) by deciding upon reconfigurations (hardware and/or software). These reconfigurations are then implemented through basic actions in the system’s API (e.g., creation, update, deletion). Feedback loops can manage a variety of objectives of different natures (e.g., self-optimization, self-configuration, self-protection, etc.). They deal with different dimensions: quantitative, temporal, logical, etc., and rely upon diverse decision techniques (control theory, scheduling, constraints resolution, learning, etc.). The general challenge is the design of autonomic managers that can handle this complexity. We will consider techniques of constraint programming [Hermenier13] such as Anytime algorithms [Allouche15] and control theory [Rutten18,**Pagano24**] in orchestration. A Use Case of particular interest to us is the notion of flexibility of power supply, as proposed by RTE (France’s Electricity Transmission System Operator), on which we have research activities in the Ctrl-A team, in the Tasting project of the PEPR TASE. **Principales activités**: The approach consists of exploring novel models and implementations for orchestrating reconfigurations with temporal constraints. Our Use Case from RTE motivates such constraints in relation to the mix of renewable energies and nuclear power plants, making the balance more difficult to guarantee. For this reason, RTE needs to increase the number of flexible customers. One customer of interest is the cloud providers because of their huge energy consumption, their increasing numbers, and their flexibility potential. In this work, we will study plausible scenarios of flexibility in energy consumption of Data Centers, and how dynamic software and system reconfiguration can be used to successfully handle these scenarios. This dynamicity makes it interesting to consider the integration of control theory in the management loop. **References** **[IBM03] J. O. Kephart and D. M. Chess, “The vision of autonomic computing” in Computer, vol. 36, no. 1, pp. 41-50, Jan. 2003** **[Hermenier13] F. Hermenier, J. Lawall and G. Muller, "BtrPlace: A Flexible Consolidation Manager for Highly Available Applications," in**_IEEE Transactions on Dependable and Secure Computing_**, vol. 10, no. 5, pp. 273-286, Sept.Oct. 2013, doi: 10.1109/TDSC.2013.5.** **[Allouche15] David Allouche, Simon de Givry, George Katsirelos, Thomas Schiex, Matthias Zytnicki: Anytime Hybrid Best-First Search with Tree Decomposition for Weighted CSP. CP 2015: 12-29** **[Rutten18] Eric Rutten, Nicolas Marchand, Daniel Simon. Feedback Control as MAPE-K loop in Autonomic Computing. Software Engineering for Self-Adaptive Systems III. Assurances., 9640, Springer, pp.349-373, 2018, LNCS.** **[Cadorel20] Emile Cadorel, Hélène Coullon, Jean-Marc Menaud. Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization. CCGrid2020 : 20th International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia. 10.1109/CCGrid49817.2020.00-36. hal-02551733** **[Chardet21] Maverick Chardet, Hélène Coullon, Simon Robillard. Toward Safe and Efficient Reconfiguration with Concerto. Science of Computer Programming, 2021, 203, pp.1-31. 10.1016/j.scico.2020.102582. hal-03103714** **[Coullon24] Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard. Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey. ACM Computing Surveys, 2024, 56 (1), pp.1-37. 10.1145/3595376** **[Philippe24] Jolan Philippe,