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.
Type de document :
Direction d'ouvrage, Proceedings, Dossier
France. b<>com, pp.1-6, 2017
Liste complète des métadonnées

Littérature citée [21 références]  Voir  Masquer  Télécharger
Contributeur : Johan Pelay <>
Soumis le : jeudi 7 décembre 2017 - 10:56:24
Dernière modification le : jeudi 15 novembre 2018 - 11:58:59


  • HAL Id : hal-01657866, version 1


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〉



Consultations de la notice


Téléchargements de fichiers