Thanks to the PEPR eNSEMBLE for accepting the funding of the Ph.D. subject of Lucien Astié.
Welcome on board Lucien!
Details available here :
Resilience digital service infrastructures managed as digital commons
I had the great pleasure to be invited as keynote-wide speaker at DisCoTec 2025 in Lille.
Title
Challenges in Infrastructure-as-Code: efficiency, decentralization, and formalization
Abstract
In this talk I will try to draw your attention to infrastructure-as-code (IaC) tools and languages. These languages enable managing distributed infrastructures and applications through code, thus achieving interesting properties such as versionability, testability, and sharability. Their use is particularly crucial for automatically and correctly managing resources in the Cloud, especially for large-scale infrastructures (fog or edge computing). Infrastructure-as-Code languages include aspects of programming languages, life-cycle coordination, dynamic reconfiguration and autonomic computing. I am going to focus in particular on three scientific challenges in IaC: efficiency, decentralization and formalization.
I have defended recently my HDR (Habilitation à Diriger des Recherches) and have been graduated from the University of Nantes.
The kick-off of the ANR project For-CoaLa has taken place remotely between IMT Atlantique in Nantes and the University of Orléans. A website is now available for the project.
The paper entitled Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study has been accepted for publication in the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), March 2024, Finland.
In the context of Edge Computing or Cyber-Physical Systems, cross-functional, and cross-geographical DevOps teams are in charge of automating deployments, configuration, and management (i.e., reconfiguration) of complex, large-scale, highly dynamic, and geo-distributed service-oriented software systems. In this context, DevOps teams cannot reasonably manually coordinate their reconfiguration operations in a global manner. Furthermore, as disconnection is the norm in these paradigms, a central entity responsible for reconfiguration should be avoided, and the set of changes to apply should be as fast as possible. This paper presents Ballet, a fast tool to automate choreographies (i.e., decentralized coordination) of cross- DevOps reconfiguration.
See This page
I organize the VELVET days that will be held in Nantes on December 13 and 14. The subject of these days is the use of software engineering, languages and formal methods for configuration, reconfiguration and DevOps in distributed systems.
The paper entitled Leveraging Relay Nodes to Deploy and Update Services in a CPS With Sleeping Nodes has been accepted for publication in the 16th IEEE International Conference on Cyber, Physical and Social Computing (CPSCom 2023), China.
Cyber-physical systems (CPS) deployed in scarce resource environments like the Arctic Tundra face extreme conditions. Nodes in such environments are forced to rely on batteries and sleep most of the time to maximize their lifetime. While being autonomous, nodes have to collaborate to make scientific observations. As a result, their deployments and updates are subject to coordination (e.g. prevent interruption of a service used by other nodes).
The paper entitled Evaluating the energy consumption of adaptation tasks for a CPS in the Arctic Tundra has been accepted for publication in the 19th IEEE nternational Conference on Green Computing and Communications (GreenCom2023), China.
Cyber-Physical Systems deployed in scarce resource environments like the Arctic Tundra (AT) face extreme conditions. Nodes deployed in such environments have to carefully manage a limited energy budget, forcing them to alternate long sleeping and brief uptime periods. During uptimes, nodes can collaborate for data exchanges or computations by providing services to other nodes. Deploying or updating such services on nodes requires coordination to prevent failures (e.g., sending new/updated API, waiting for service activation/deactivation, etc.). In a CPS with short uptime periods, such coordination can be energy-consuming due to low opportunities for communications.
The paper entitled Dynamic Adaptation of Urgent Applications in the Edge-to-Cloud Continuum has been accepted for publication in QuickPar 2023 1st International Workshop on Urgent Analytics for Distributed Computing - August 2023, Limassol, Cyprus.
The paper entitled Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey has been accepted for publication in ACM computing surveys 2023.