Paper Info
Title
Verification Of Flow Matching Functionality In The Forwarding Plane Of Openflow Networks
Abstract
In OpenFlow, data and control plane are decoupled from switches or routers. While the data plane resides in the switches or routers, the control plane might be moved into one or more external servers (controllers). In this article, we propose verification mechanisms for the data plane functionality of switches. The latter consists of two parts: (1) Flow-Match Header part (to match a flow of incoming packets) and (2) action part (e.g., to forward incoming packets to an outgoing port). We propose a mechanism to verify the Flow-Match Header part of the data plane. The mechanism can be executed at the controller, or on an additional device or server (or virtual machines) attached to the network. Deploying a virtual machine (VM) or server for verification may decrease the load of the controller and/or consumed bandwidth between the controller and a switch. We propose a heuristic to place external verification devices or VMs in a network such that the verification time can be minimized. Verification time with respect to consumed resources are evaluated through emulation experiments. Results confirm that the verification time using the proposed heuristic is indeed shortened significantly, while requiring low bandwidth resources.
Year
DOI
Venue
2015
10.1587/transcom.E98.B.2190
IEICE TRANSACTIONS ON COMMUNICATIONS
Keywords
Field
DocType
OpenFlow, in-band, out-of-band, verification
Forwarding plane,Control theory,Virtual machine,Out-of-band management,Computer science,Network packet,Server,Computer network,OpenFlow,Header,Distributed computing
Journal
Volume
Issue
ISSN
E98B
11
0916-8516
Citations 
PageRank 
References 
2
0.40
6
Authors
6
Name
Order
Citations
PageRank
Sachin Sharma120418.86
Wouter Tavernier220728.43
Sahel Sahhaf314812.97
D. Colle41255138.20
Mario Pickavet51000110.08
Piet Demeester63471363.78