Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat - Archive ouverte HAL Access content directly
Conference Papers Year :

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

(1) , (1) , (1) , (1) , (2) , (3) , (3)
1
2
3

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
158 View
343 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More