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. Authors Jolan Philippe, IMT Atlantique, France Antoine Omond, IMT Atlantique, France, and UiT, Norway Hélène Coullon, IMT Atlantique, France Charles Prud’homme, IMT Atlantique, France Issam Rais, UiT, Norway Abstract 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.
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. Authors Antoine Omond (PhD student) Hélène Coullon, IMT Atlantique, France Issam Rais, UiT, Norway Abstract 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.
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. Authors Antoine Omond (PhD student) Issam Rais, UiT, Norway Hélène Coullon, IMT Atlantique, France Abstract 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.
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
The paper SMT-Based Planning Synthesis for DistributedSystem Reconfigurations has been accepted for publication at the FASE 2022 conference. The paper is co-written with Simon Robillard (main author).