A Comprehensive Study of Bugs in Software Defined Networks

A Bhardwaj, Z Zhou, TA Benson - 2021 51st Annual IEEE/IFIP …, 2021 - ieeexplore.ieee.org
Software-defined networking (SDN) enables innovative and impressive solutions in the
networking domain by decoupling the control plane from the data plane. In an SDN …

Synthesis of models for networks using automated boolean learning

D Sethi, C Nagarajan - US Patent 10,826,770, 2020 - Google Patents
Abstract Systems, methods, and computer-readable media for determining a deployment
model for deploying rules in a network environment in response to deployment of a contract …

Identifying mismatches between a logical model and node implementation

RR Kompella, C Nagarajan, JT Monk… - US Patent …, 2020 - Google Patents
Systems, methods, and computer-readable media analyzing memory usage in a network
node. A network assurance appliance may be configured to obtain reference concrete level …

Tardis: A fault-tolerant design for network control planes

Z Zhou, TA Benson, M Canini… - Proceedings of the ACM …, 2021 - dl.acm.org
Guaranteeing high availability of networks virtually hinges on the ability to handle and
recover from bugs and failures. Yet, despite the advances in verification, testing, and …

Validation of layer 3 using virtual routing forwarding containers in a network

S Harneja - US Patent 10,673,702, 2020 - Google Patents
Disclosed are systems, methods, and computer-readable media for assuring tenant
forwarding in a network environment. Network assurance can be determined in layer 1, layer …

Intelligence enabled sdn fault localization via programmable in-band network telemetry

Y Tang, Y Wu, G Cheng, Z Xu - 2019 IEEE 20th International …, 2019 - ieeexplore.ieee.org
Intelligent Fault localization for SDN becomes one of the most critical but difficult tasks. This
paper proposes a new approach called Policy-Aware In-band Network Telemetry (PAINT) to …

Validation of layer 3 bridge domain subnets in in a network

S Harneja, A Pani, S Sundaresan… - US Patent …, 2019 - Google Patents
Disclosed are systems, methods, and computer-readable media for assuring tenant
forwarding in a network environment. Network assurance can be determined in layer 1, layer …

Towards internet-scale convolutional root-cause analysis with diagnet

L Bonniot, C Neumann, F Taïani - 2021 IEEE International …, 2021 - ieeexplore.ieee.org
Diagnosing problems in Internet-scale services remains particularly difficult and costly for
both content providers and ISPs. Because the Internet is decentralized, the cause of such …

Combinatorial Test Perspective on Test Design of SDN Controllers

R Jayaram, R Krishnan - … on Sustainable Expert Systems: ICSES 2021, 2022 - Springer
OpenDaylight is an open-source Software-Defined Network controller that has made
programmable networks possible. It has got together both industry and the OpenDaylight …

Improving System Availability for Better Services

Z Zhou - 2020 - search.proquest.com
Entering the information age, the demands for online services increase dramatically. Such
high demands are pushing the network systems to become more complex and making …