Software-defined networking: A comprehensive survey
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 …
connected and is accessible from anywhere. However, despite their widespread adoption …
Survey on network virtualization hypervisors for software defined networking
Software defined networking (SDN) has emerged as a promising paradigm for making the
control of communication networks flexible. SDN separates the data packet forwarding …
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 …
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 …
popular in recent years. The core idea is to separate the control and data planes, allowing …
Plankton: Scalable network configuration verification through model checking
Network configuration verification enables operators to ensure that the network will behave
as intended, prior to deployment of their configurations. Although techniques ranging from …
as intended, prior to deployment of their configurations. Although techniques ranging from …
Fault management in software-defined networking: A survey
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 …
control/data plane separation and centralized network control. While these features simplify …
Delta-net: Real-time network verification using atoms
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 …
reachability invariants on the data plane. To be useful in practice, these violations need to …
{BUZZ}: Testing {Context-Dependent} Policies in Stateful Networks
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 …
basic reachability policies (Can X talk to Y?) in simple stateless networks with L2/L3 devices …
Verifying reachability in networks with mutable datapaths
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 …
[26–28, 35]. However, these approaches cannot be used to verify networks containing …
Troubleshooting blackbox SDN control software with minimal causal sequences
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 …
troubleshooting is a tedious, time-consuming task. In this paper we discuss how to improve …