Formaliser les langages de configuration pour fiabiliser le déploiement des systèmes distribués
FOR-COALA développe de nouvelles approches pour améliorer la fiabilité des opérations de configuration et de reconfiguration des systèmes logiciels distribués. Le projet répond à un défi majeur du DevOps : garantir que les modifications apportées aux applications et aux infrastructures, qu’il s’agisse de mises à jour, de montée en charge ou de reprise après incident, ne compromettent pas leur bon fonctionnement.
Le projet étudie les fondements des langages de configuration utilisés dans les environnements DevOps en rapprochant un outil largement adopté dans l’industrie, Ansible, et un langage issu de la recherche académique, Concerto. Il développe des sémantiques formelles mécanisées afin de mieux caractériser ces langages et conçoit des transformations vérifiées garantissant la préservation de leur sémantique lors des échanges entre eux.
En renforçant les bases formelles des langages de configuration, FOR-COALA contribue au développement de méthodes plus sûres et plus fiables pour le déploiement, la configuration et l’évolution des systèmes logiciels distribués.
