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.
The paper entitled SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers has been accepted for publication as a short paper in SEAMS 2023 - IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia.
The paper Handling heterogeneous workflows in the Cloud while enhancing optimizations and performance has been accepted for publication at the IEEE Cloud 2022 conference. The paper is co-written with Emie Cadorel (main author), and Jean-Marc Menaud.
The artifacts of the paper SMT-Based Planning Synthesis for DistributedSystem Reconfigurations has been accepted at the FASE 2022 artifacts evaluation for two badges: availability and reproducibility