Verifying forwarding plane connectivity and locating link failures using static rules in software defined networks

Authors:
Ulas C. Kozat;Guanfeng Liang;Koray Kokten
Affiliations:
DOCOMO INNOVATIONS, INC., PALO ALTO, CA, USA;DOCOMO INNOVATIONS, INC., PALO ALTO, CA, USA;DOCOMO INNOVATIONS, INC., PALO ALTO, CA, USA
Venue:
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Year:
2013

Citing 3
Cited 0

Header space analysis: static checking for networks

NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation
Where is the debugger for my software-defined network?

Proceedings of the first workshop on Hot topics in software defined networks
VeriFlow: verifying network-wide invariants in real time

nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present efficient solutions that install static rules on the forwarding elements such that network controllers use these rules to verify topology connectivity and locate link failures. For a forwarding plane with |E| links, we verify topology connectivity using ≤ 2|E| static rules and one control message. We guarantee locating at least one link failure using ≤ 6|E| static rules and ϴ(log(|E|)) control messages. We can also detect multiple link failures in a probabilistic sense.