Skip to Main content Skip to Navigation
Directions of work or proceedings

Verifying the configuration of Virtualized Network Functions in Software Defined Networks

Johan Pelay 1, 2 Fabice Guillemin 3, 1 Olivier Barais 1, 2 
2 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The deployment of modular virtual network functions (VNFs) in software defined infrastructures (SDI) enables cloud and network providers to deploy integrated network services across different resource domains. It leads to a large interleaving between network configuration through software defined network controllers and VNF deployment within this network. Most of the configuration management tools and network orchestrators used to deploy VNF lack of an abstraction to express Assume-Guarantee contracts between the VNF and the SDN configuration. Consequently, VNF deployment can be inconsistent with network configurations. To tackle this challenge, in this paper, we present an approach to check the consistency between the VNF description described from a set of structural models and flow-chart models and a proposed deployment on a real SDN infrastructure with its own configuration manager. We illustrate our approach on virtualized Evolved Packet Core function.
Document type :
Directions of work or proceedings
Complete list of metadata

Cited literature [21 references]  Display  Hide  Download
Contributor : Johan Pelay Connect in order to contact the contributor
Submitted on : Thursday, December 7, 2017 - 10:56:24 AM
Last modification on : Monday, April 4, 2022 - 9:28:22 AM


  • HAL Id : hal-01657866, version 1


Johan Pelay, Fabice Guillemin, Olivier Barais. Verifying the configuration of Virtualized Network Functions in Software Defined Networks. France. b<>com, pp.1-6, 2017. ⟨hal-01657866⟩



Record views


Files downloads