VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time - INRIA - Institut National de Recherche en Informatique et en Automatique
Communication Dans Un Congrès Année : 2025

VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time

Résumé

Fog Computing consists in decentralizing the Cloud by geographically distributing computation, storage, network resources, and related services. Among other benefits, it allows reducing bandwidth usage, limiting latency, or minimizing data transfers. However, Fog systems engineering remains challenging and quite often error-prone. Following best practices in software engineering, verification tasks can be performed before such systems are concretely deployed. Works already exist on verifying non-functional properties of Fog systems at different previous steps of the life cycle. This paper goes one step further and presents the VeriFogOps approach. This approach allows to automatically select deployment tools, based on expressed Quality of Service (QoS) requirements, and then generate relevant CI/CD pipelines supporting the deployment of Fog systems. We implemented and validated our approach via two realistic use cases, considering different QoS solutions and deployment tools. This work, developed in direct collaboration with our industrial partner Smile, goes towards the direction of a more comprehensive support for the entire life cycle of Fog systems, from design to actual deployment and execution.
Fichier principal
Vignette du fichier
VeriFogOps_SAC25_AuthorsVersion.pdf (928.84 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
licence

Dates et versions

hal-04833623 , version 1 (12-12-2024)

Licence

Identifiants

Citer

Hiba Awad, Thomas Ledoux, Hugo Bruneliere, Jonathan Rivalan. VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time. SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing, Mar 2025, Catania, Italy. ⟨10.1145/3672608.3707854⟩. ⟨hal-04833623⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

More