Software-defined networking: A comprehensive survey

D Kreutz, FMV Ramos, PE Verissimo… - Proceedings of the …, 2014 - ieeexplore.ieee.org
The Internet has led to the creation of a digital society, where (almost) everything is
connected and is accessible from anywhere. However, despite their widespread adoption …

Survey on network virtualization hypervisors for software defined networking

A Blenk, A Basta, M Reisslein… - … Surveys & Tutorials, 2015 - ieeexplore.ieee.org
Software defined networking (SDN) has emerged as a promising paradigm for making the
control of communication networks flexible. SDN separates the data packet forwarding …

A general approach to network configuration analysis

A Fogel, S Fung, L Pedrosa… - … USENIX Symposium on …, 2015 - usenix.org
We present an approach to detect network configuration errors, which combines the benefits
of two prior approaches. Like prior techniques that analyze configuration files, our approach …

A survey on fault management in software-defined networks

PC Fonseca, ES Mota - IEEE Communications Surveys & …, 2017 - ieeexplore.ieee.org
Software-defined networking (SDN) is an emerging paradigm that has become increasingly
popular in recent years. The core idea is to separate the control and data planes, allowing …

Plankton: Scalable network configuration verification through model checking

S Prabhu, KY Chou, A Kheradmand, B Godfrey… - … USENIX Symposium on …, 2020 - usenix.org
Network configuration verification enables operators to ensure that the network will behave
as intended, prior to deployment of their configurations. Although techniques ranging from …

Fault management in software-defined networking: A survey

Y Yu, X Li, X Leng, L Song, K Bu… - … Surveys & Tutorials, 2018 - ieeexplore.ieee.org
Software-defined networking (SDN) has emerged as a new network paradigm that promises
control/data plane separation and centralized network control. While these features simplify …

Delta-net: Real-time network verification using atoms

A Horn, A Kheradmand, M Prasad - 14th USENIX Symposium on …, 2017 - usenix.org
Real-time network verification promises to automatically detect violations of network-wide
reachability invariants on the data plane. To be useful in practice, these violations need to …

{BUZZ}: Testing {Context-Dependent} Policies in Stateful Networks

SK Fayaz, T Yu, Y Tobioka, S Chaki… - 13th USENIX Symposium …, 2016 - usenix.org
Checking whether a network correctly implements intended policies is challenging even for
basic reachability policies (Can X talk to Y?) in simple stateless networks with L2/L3 devices …

Verifying reachability in networks with mutable datapaths

A Panda, O Lahav, K Argyraki, M Sagiv… - 14th USENIX Symposium …, 2017 - usenix.org
Recent work has made great progress in verifying the forwarding correctness of networks
[26–28, 35]. However, these approaches cannot be used to verify networks containing …

Troubleshooting blackbox SDN control software with minimal causal sequences

C Scott, A Wundsam, B Raghavan, A Panda… - Proceedings of the …, 2014 - dl.acm.org
Software bugs are inevitable in software-defined networking control software, and
troubleshooting is a tedious, time-consuming task. In this paper we discuss how to improve …