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 Fabrice 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 metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01657866
Contributor : Johan Pelay <>
Submitted on : Thursday, December 7, 2017 - 10:56:24 AM
Last modification on : Saturday, July 11, 2020 - 3:15:38 AM

Identifiers

  • HAL Id : hal-01657866, version 1

Citation

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

Share

Metrics

Record views

755

Files downloads

427