Component-based distributed software reconfiguration: a verification-oriented survey

H Coullon, L Henrio, F Loulergue… - ACM Computing Surveys, 2023 - dl.acm.org
Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …

[HTML][HTML] Predicting resource consumption of Kubernetes container systems using resource models

G Turin, A Borgarelli, S Donetti, F Damiani… - Journal of Systems and …, 2023 - Elsevier
Cloud computing has radically changed the way organizations operate their Software by
allowing them to achieve high availability of services at affordable cost. Containerized …

TosKer: a synergy between TOSCA and Docker for orchestrating multicomponent applications

A Brogi, L Rinaldi, J Soldani - Software: Practice and …, 2018 - Wiley Online Library
How to flexibly manage complex applications across heterogeneous cloud platforms is one
of the main concerns in today's IT enterprise. The OASIS standard TOSCA (Topology and …

Self-reconfiguring microservices

M Gabbrielli, S Giallorenzo, C Guidi, J Mauro… - … to Frank de Boer on the …, 2016 - Springer
Microservices is an emerging paradigm for the development of distributed systems that,
originating from Service-Oriented Architecture, focuses on the small dimension, the loose …

Toward safe and efficient reconfiguration with concerto

M Chardet, H Coullon, S Robillard - Science of Computer Programming, 2021 - Elsevier
For large-scale distributed systems that need to adapt to a changing environment,
conducting a reconfiguration is a challenging task. In particular, efficient reconfigurations …

Zephyrus2: on the fly deployment optimization using SMT and CP technologies

E Ábrahám, F Corzilius, EB Johnsen, G Kremer… - … : Theories, Tools, and …, 2016 - Springer
Modern cloud applications consist of software components deployed on multiple virtual
machines. Deploying such applications is error prone and requires detailed system …

Automatic deployment of services in the cloud with aeolus blender

R Di Cosmo, A Eiche, J Mauro, S Zacchiroli… - … Conference on Service …, 2015 - Springer
Abstract We present Aeolus Blender (Blender in the following), a software product for the
automatic deployment and configuration of complex service-based, distributed software …

[PDF][PDF] Optimal and automated deployment for microservices

M Bravetti, S Giallorenzo, J Mauro, I Talevi… - … , FASE 2019, Held as …, 2019 - library.oapen.org
Microservices are highly modular and scalable Service Oriented Architectures. They
underpin automated deployment practices like Continuous Deployment and Autoscaling. In …

A formal model of the kubernetes container framework

G Turin, A Borgarelli, S Donetti, EB Johnsen… - … Applications of Formal …, 2020 - Springer
Loosely-coupled distributed systems organized as collections of so-called cloud-native
microservices are able to adapt to traffic in very fine-grained and flexible ways. For this …

Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study

J Philippe, A Omond, H Coullon… - … on Software Analysis …, 2024 - ieeexplore.ieee.org
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 …