European Conference on Service-Oriented and Cloud Computing

Service Oriented and Cloud Computing pp 253-262

Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context

  • Serena Spinoso
  • Matteo Virgilio
  • Wolfgang John
  • Antonio Manzalini
  • Guido Marchetto
  • Riccardo Sisto
Conference paper

DOI: 10.1007/978-3-319-24072-5_18

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9306)
Cite this paper as:
Spinoso S., Virgilio M., John W., Manzalini A., Marchetto G., Sisto R. (2015) Formal Verification of Virtual Network Function Graphs in an SP-DevOps Context. In: Dustdar S., Leymann F., Villari M. (eds) Service Oriented and Cloud Computing. Lecture Notes in Computer Science, vol 9306. Springer, Cham

Abstract

The role of software and its flexibility is becoming more and more important in todays networks. New emerging paradigms, such as Software Defined Networking (SDN) and Network Function Virtualization (NFV), are changing the rules of the game, shifting the focus on dynamicity and programmability. Perfectly aligned with this new spirit, the FP7 UNIFY European project aims at realizing this appealing vision by applying DevOps concepts to telecom operator networks and supporting the idea of fast network reconfiguration. However, the increased range of possibilities offered by the DevOps approach comes at the cost of designing new processes and toolkits to make SDN and NFV a concrete opportunity. In this paper we specifically focus on the verification process as part of the challenging tasks that must be addressed in this scenario and its fundamental role of automatically checking some desired network properties before deploying a particular configuration. Our preliminary results confirm the feasibility of the approach and encourage future efforts in this direction.

Keywords

DevOps Formal verification Service graphs Network function forwarding graph 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© IFIP International Federation for Information Processing 2015

Authors and Affiliations

  • Serena Spinoso
    • 1
  • Matteo Virgilio
    • 1
  • Wolfgang John
    • 2
  • Antonio Manzalini
    • 3
  • Guido Marchetto
    • 1
  • Riccardo Sisto
    • 1
  1. 1.DAUIN - Politecnico di TorinoTurinItaly
  2. 2.Ericsson ABStockholmSweden
  3. 3.Strategy and Innovation - Future CentreTurinItaly

Personalised recommendations