Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

Résumé

In the context of Network Functions Virtualization (NFV), telecommunication systems are more and more deployed on the cloud, using orchestration engines such as OpenStack Heat. Heat takes as input templates that describe the components of the target system and automatically performs the deployment. This prevents consumers of cloud services from handling the challenges of manual deployment. However, deploying such systems remains challenging. Indeed, the templates given to Heat may contain errors that can lead to a failed or a partial deployment, thus compromising the systems reliability. To handle this challenge, we propose a formal approach and a tool for the verification of templates consistency prior to launching their deployment. A case study is presented to validate the approach.
Fichier principal
Vignette du fichier
Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat.pdf (307.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02375386 , version 1 (22-11-2019)

Identifiants

Citer

Adja Ndeye Sylla, Karine Guillouard, Frédéric Klamm, Meryem Ouzzif, Philippe Merle, et al.. Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat. CNSM 2019 - 15th International Conference on Network and Service Management, Oct 2019, Halifax, Canada. pp.1-5, ⟨10.23919/CNSM46954.2019.9012739⟩. ⟨hal-02375386⟩
173 Consultations
421 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More