Skip to Main content Skip to Navigation
Conference papers

Formal Verification of Orchestration Templates for Reliable Deployment with OpenStack Heat

Adja Sylla 1 Karine Guillouard 1 Frédéric Klamm 1 Meryem Ouzzif 1 Philippe Merle 2 Souha Ben Rayana 3 Jean-Bernard Stefani 3
2 SPIRALS - Self-adaptation for distributed services and large software systems
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189
3 SPADES - Sound Programming of Adaptive Dependable Embedded Systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
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.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Philippe Merle Connect in order to contact the contributor
Submitted on : Friday, November 22, 2019 - 3:51:06 AM
Last modification on : Thursday, October 21, 2021 - 3:46:25 AM


Formal Verification of Orchest...
Files produced by the author(s)



Adja 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⟩



Record views


Files downloads