Verification of NFV Services : Problem Statement and Challenges
draft-irtf-nfvrg-service-verification-03

Document Type Active Internet-Draft (nfvrg RG)
Last updated 2017-03-06
Stream IRTF
Intended RFC status (None)
Formats plain text pdf html bibtex
Stream IRTF state (None)
Consensus Boilerplate Unknown
On Agenda nfvrg at IETF-98
RFC Editor Note (None)
IESG IESG state I-D Exists
Telechat date
Responsible AD (None)
Send notices to (None)
NFV Research Group                                         M-K. Shin, Ed.
Internet-Draft                                                       ETRI
Intended status: Informational                                     K. Nam
Expires: September 6, 2017                                        Friesty
                                                                  S. Pack
                                                                       KU
                                                                   S. Lee
                                                                     ETRI
                                                              R. Krishnan
                                                                     Dell
                                                            March 6, 2017

    Verification of NFV Services : Problem Statement and Challenges
                draft-irtf-nfvrg-service-verification-03

Abstract         

   NFV relocates network functions from dedicated hardware appliances to
   generic servers, so they can run in software. However, incomplete or
   inconsistent configuration of virtualized network functions (VNFs)
   and forwarding graph (FG, aka service chain) could cause break-down
   of the supporting infrastructure. In this sense, verification is
   critical for network operators to check their requirements and
   network properties are correctly enforced in the supporting
   infrastructures. Recognizing these problems, we discuss key
   properties to be checked on NFV services. Also, we present
   challenging issues related to verification in NFV environments.  

Status of this Memo

   This Internet-Draft is submitted in full conformance with the
   provisions of BCP 78 and BCP 79.

   Internet-Drafts are working documents of the Internet Engineering
   Task Force (IETF).  Note that other groups may also distribute
   working documents as Internet-Drafts.  The list of current Internet-
   Drafts is at http://datatracker.ietf.org/drafts/current/.

   Internet-Drafts are draft documents valid for a maximum of six months
   and may be updated, replaced, or obsoleted by other documents at any
   time.  It is inappropriate to use Internet-Drafts as reference
   material or to cite them other than as "work in progress."

   This Internet-Draft will expire on September 6, 2017.

Copyright Notice

 

Shin et al.,           Expires September 6, 2017                [Page 1]
Internet-Draft        Verification of NFV Services         March 6, 2017

   Copyright (c) 2015 IETF Trust and the persons identified as the
   document authors.  All rights reserved.

   This document is subject to BCP 78 and the IETF Trust's Legal
   Provisions Relating to IETF Documents
   (http://trustee.ietf.org/license-info) in effect on the date of
   publication of this document.  Please review these documents
   carefully, as they describe your rights and restrictions with respect
   to this document.  Code Components extracted from this document must
   include Simplified BSD License text as described in Section 4.e of
   the Trust Legal Provisions and are provided without warranty as
   described in the Simplified BSD License.

Table of Contents

   1.  Introduction  . . . .  . . . . . . . . . . . . . . . . . . . .  3
     1.1.  Terminology  . . . . . . . . . . . . . . . . . . . . . . .  3
   2.  Problem statement . . . . . . . . . . . . . . . . . . . . . . . 3
     2.1. Dependencies of network service components in NFV framework .3
     2.2. Invariant and error check in VNF FGs . . . . . . . . . . . . 4 
     2.3. Load Balancing and optimization among VNF Instances  . . . . 4
     2.4. Policy and state consistency on NFV services . . . . . . . . 4
     2.5. Performance  . . . . . . . . . . . . . . . . . . . . . . . . 5 
     2.6. Security . . . . . . . . . . . . . . . . . . . . . . . . . . 5
   3.  Examples - NS policy conflict with NFVI policy  . . . . . . . . 6 
   4.  Requirements of verification framework  . . . . . . . . . . . . 7
   5.  Challenging issues  . . . . . . . . . . . . . . . . . . . . . . 8
     5.1. Consistency check in distributed state .   . . . . . . . . . 8
     5.2. Intent-based service composition . . . . . . . . . . . . . . 8 
     5.3. Finding infinite loops in VNF FGs . .  . . . . . . . . . . . 8
     5.4. Real-time verification . . . . . . . . . . . . . . . . . . . 9
     5.5. Languages and their semantics  . . . . . . . . . . . . . . . 9
     5.6. Stateful VNFs with multiple physical views . . . . . . . . . 9   
   6.  Gap analysis - open source projects . . . . . . . . . . . . . .10
     6.1. OPNFV  . . . . . . . . . . . . . . . . . . . . . . . . . . .10
     6.2. ODL . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
     6.3. Summary . . . . . . . . . . . . . . . . . . . . . . . . . . 13  
Show full document text