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 network management and enable innovative networking, they give rise to persistent concerns about reliability. The new paradigm suffers from the disadvantage that various network faults may consistently undermine the reliability of such a network, and such faults are often new and difficult to resolve with existing solutions. To ensure SDN reliability, fault management, which is concerned with detecting, localizing, correcting and preventing faults, has become a key component in SDN networks. Although many SDN fault management solutions have been proposed, we find that they often resolve SDN faults from an incomplete perspective which may result in side effects. More critically, as the SDN paradigm evolves, additional fault types are being exposed. Therefore, comprehensive reviews and constant improvements are required to remain on the leading edge of SDN fault management. In this paper, we present the first comprehensive and systematic survey of SDN faults and related management solutions identified through advancements in both the research community and industry. We apply a systematic classification of SDN faults, compare and analyze existing SDN fault management solutions in the literature, and conduct a gap analysis between solutions developed in an academic research context and practical deployments. The current challenges and emerging trends are also noted as potential future research directions. This paper aims to provide academic researchers and industrial engineers with a comprehensive survey with the hope of advancing SDN and inspiring new solutions.

[1]  Theophilus Benson,et al.  Isolating and Tolerating SDN Application Failures with LegoSDN , 2016, SOSR.

[2]  Nick McKeown,et al.  OpenFlow: enabling innovation in campus networks , 2008, CCRV.

[3]  Nick McKeown,et al.  I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks , 2014, NSDI.

[4]  Azer Bestavros,et al.  Verifiably-safe software-defined networks for CPS , 2013, HiCoNS '13.

[5]  Matthew Caesar,et al.  NEAt: Network Error Auto-Correct , 2017, SOSR.

[6]  Anja Feldmann,et al.  OFRewind: Enabling Record and Replay Troubleshooting for Networks , 2011, USENIX Annual Technical Conference.

[7]  Hongkun Yang,et al.  Real-Time Verification of Network Properties Using Atomic Predicates , 2016, IEEE/ACM Trans. Netw..

[8]  George Varghese,et al.  Usenix Association 10th Usenix Symposium on Networked Systems Design and Implementation (nsdi '13) 99 Real Time Network Policy Checking Using Header Space Analysis , 2022 .

[9]  Dejan Kostic,et al.  ProboScope: Data Plane Probe Packet Generation , 2014 .

[10]  Nick McKeown,et al.  Leveraging SDN layering to systematically troubleshoot networks , 2013, HotSDN '13.

[11]  Ming Zhang,et al.  A network-state management service , 2014 .

[12]  Ying Zhang,et al.  PGA: Using Graphs to Express and Automatically Reconcile Network Policies , 2015, Comput. Commun. Rev..

[13]  Jamal Hadi Salim,et al.  Forwarding and Control Element Separation (ForCES) Protocol Specification , 2010, RFC.

[14]  Xin Jin,et al.  Incremental update for a compositional SDN hypervisor , 2014, HotSDN.

[15]  Yong Wang,et al.  Towards a Security-Enhanced Firewall Application for OpenFlow Networks , 2013, CSS.

[16]  Albert G. Greenberg,et al.  Ananta: cloud scale load balancing , 2013, SIGCOMM.

[17]  Dennis M. Volpano,et al.  Towards systematic detection and resolution of network control conflicts , 2014, HotSDN.

[18]  András Gulyás,et al.  One tool to rule them all: a modular troubleshooting framework for SDN (and other) networks , 2015, SOSR.

[19]  Peng Zhang,et al.  Towards rule enforcement verification for software defined networks , 2017, IEEE INFOCOM 2017 - IEEE Conference on Computer Communications.

[20]  Yashar Ganjali,et al.  Kandoo: a framework for efficient and scalable offloading of control applications , 2012, HotSDN '12.

[21]  Mabry Tyson,et al.  A security enforcement kernel for OpenFlow networks , 2012, HotSDN '12.

[22]  Vladimir Braverman,et al.  One Sketch to Rule Them All: Rethinking Network Flow Monitoring with UnivMon , 2016, SIGCOMM.

[23]  Jae-Hyoung Yoo,et al.  Scalable failover method for Data Center Networks using OpenFlow , 2014, 2014 IEEE Network Operations and Management Symposium (NOMS).

[24]  Fernando A. Kuipers,et al.  SDN and Virtualization Solutions for the Internet of Things: A Survey , 2016, IEEE Access.

[25]  George Varghese,et al.  Header Space Analysis: Static Checking for Networks , 2012, NSDI.

[26]  Qiang Xu,et al.  Enabling layer 2 pathlet tracing through context encoding in software-defined networking , 2014, HotSDN.

[27]  Stenio F. L. Fernandes,et al.  A Software Engineering Perspective on SDN Programmability , 2016, IEEE Communications Surveys & Tutorials.

[28]  Marco Canini,et al.  A SOFT way for openflow switch interoperability testing , 2012, CoNEXT '12.

[29]  Nick Feamster,et al.  CORONET: Fault tolerance for Software Defined Networks , 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).

[30]  Da Yu,et al.  Simon: scriptable interactive monitoring for SDNs , 2015, SOSR.

[31]  Jake Silverman,et al.  Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis , 2016, SOSR.

[32]  Deborah Brungard,et al.  Requirements of an MPLS Transport Profile , 2009, RFC.

[33]  Raj Jain,et al.  Network virtualization and software defined networking for cloud computing: a survey , 2013, IEEE Communications Magazine.

[34]  Paul Barford,et al.  Fast, accurate simulation for SDN prototyping , 2013, HotSDN '13.

[35]  Martín Casado,et al.  Network Virtualization in Multi-tenant Datacenters , 2014, NSDI.

[36]  Didier Colle,et al.  Enabling fast failure recovery in OpenFlow networks , 2011, 2011 8th International Workshop on the Design of Reliable Communication Networks (DRCN).

[37]  Ehab Al-Shaer,et al.  FlowChecker: configuration analysis and verification of federated openflow infrastructures , 2010, SafeConfig '10.

[38]  Marco Canini,et al.  OFTEN Testing OpenFlow Networks , 2012, 2012 European Workshop on Software Defined Networking.

[39]  Michael J. Freedman,et al.  Ravana: controller fault-tolerance in software-defined networking , 2015, SOSR.

[40]  Wei Zhang,et al.  When Software Defined Networks Meet Fault Tolerance: A Survey , 2015, ICA3PP.

[41]  Laurent Vanbever,et al.  SDNRacer: detecting concurrency violations in software-defined networks , 2015, SOSR.

[42]  Kuang-Ching Wang,et al.  State-aware Network Access Management for Software-Defined Networks , 2016, SACMAT.

[43]  Rob Sherwood,et al.  OFLOPS: An Open Framework for OpenFlow Switch Evaluation , 2012, PAM.

[44]  Laurent Vanbever,et al.  SDNRacer: concurrency analysis for software-defined networks , 2016, PLDI.

[45]  Elisa Rojas From Software-Defined to Human-Defined Networking: Challenges and Opportunities , 2018, IEEE Network.

[46]  Ying Zhang,et al.  On Resilience of Split-Architecture Networks , 2011, 2011 IEEE Global Telecommunications Conference - GLOBECOM 2011.

[47]  Jun Luo,et al.  Cracking network monitoring in DCNs with SDN , 2015, 2015 IEEE Conference on Computer Communications (INFOCOM).

[48]  Bruce S. Davie,et al.  The Open vSwitch Database Management Protocol , 2013, RFC.

[49]  Mourad Debbabi,et al.  A Survey and a Layered Taxonomy of Software-Defined Networking , 2014, IEEE Communications Surveys & Tutorials.

[50]  Xin Jin,et al.  CoVisor: A Compositional Hypervisor for Software-Defined Networks , 2015, NSDI.

[51]  Jan Medved,et al.  OpenDaylight: Towards a Model-Driven SDN Controller architecture , 2014, Proceeding of IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks 2014.

[52]  Qi Han,et al.  Journal of Network and Systems Management ( c ○ 2007) DOI: 10.1007/s10922-007-9062-0 A Survey of Fault Management in Wireless Sensor Networks , 2022 .

[53]  Kurt Schneider,et al.  Automatically recommending test code examples to inexperienced developers , 2015, ESEC/SIGSOFT FSE.

[54]  Katerina J. Argyraki,et al.  Verifying Isolation Properties in the Presence of Middleboxes , 2014, ArXiv.

[55]  Minlan Yu,et al.  Software Defined Traffic Measurement with OpenSketch , 2013, NSDI.

[56]  Ying Zhang,et al.  NetRevert: rollback recovery in SDN , 2014, HotSDN.

[57]  Yashar Ganjali,et al.  HyperFlow: A Distributed Control Plane for OpenFlow , 2010, INM/WREN.

[58]  Hao Li,et al.  Mind the Gap: Monitoring the Control-Data Plane Consistency in Software Defined Networks , 2016, CoNEXT.

[59]  Miroslaw Malek,et al.  Survey of software tools for evaluating reliability, availability, and serviceability , 1988, CSUR.

[60]  Mohamed Faten Zhani,et al.  Dynamic Controller Provisioning in Software Defined Networks , 2013, Proceedings of the 9th International Conference on Network and Service Management (CNSM 2013).

[61]  Arjun Guha,et al.  Machine-verified network controllers , 2013, PLDI.

[62]  Jürgen Schönwälder,et al.  Network Configuration Protocol (NETCONF) , 2011, RFC.

[63]  Mukul R. Prasad,et al.  Delta-net: Real-time Network Verification Using Atoms , 2017, NSDI.

[64]  Jim Esch,et al.  Software-Defined Networking: A Comprehensive Survey , 2015, Proc. IEEE.

[65]  Sujata Banerjee,et al.  Democratic Resolution of Resource Conflicts Between SDN Control Programs , 2014, CoNEXT.

[66]  Giuseppe Bianchi,et al.  OpenState: programming platform-independent stateful openflow applications inside the switch , 2014, CCRV.

[67]  Jianping Wu,et al.  Model Based Black-Box Testing of SDN Applications , 2014, CoNEXT Student Workshop '14.

[68]  Andreas Haeberlen,et al.  Diagnosing missing events in distributed systems with negative provenance , 2015, SIGCOMM 2015.

[69]  Minlan Yu,et al.  FlowTags: enforcing network-wide policies in the presence of dynamic middlebox actions , 2013, HotSDN '13.

[70]  Vinod Yegneswaran,et al.  Model checking invariant security properties in OpenFlow , 2013, 2013 IEEE International Conference on Communications (ICC).

[71]  Jacobus E. van der Merwe,et al.  HyPer4: Using P4 to Virtualize the Programmable Data Plane , 2016, CoNEXT.

[72]  Tianlong Yu,et al.  BUZZ: Testing Context-Dependent Policies in Stateful Networks , 2016, NSDI.

[73]  Abdulsalam Yassine,et al.  Software defined network traffic measurement: Current trends and challenges , 2015, IEEE Instrumentation & Measurement Magazine.

[74]  Andreas Haeberlen,et al.  The Good, the Bad, and the Differences: Better Network Diagnostics with Differential Provenance , 2016, SIGCOMM.

[75]  Mathis Obadia,et al.  Failover mechanisms for distributed SDN controllers , 2014, 2014 International Conference and Workshop on the Network of the Future (NOF).

[76]  Sharad Malik,et al.  Abstractions for model checking SDN controllers , 2013, 2013 Formal Methods in Computer-Aided Design.

[77]  Monia Ghobadi,et al.  OpenTM: Traffic Matrix Estimator for OpenFlow Networks , 2010, PAM.

[78]  Chen Sun,et al.  SFA: Stateful Forwarding Abstraction in SDN Data Plane , 2014, ONS.

[79]  Muhammad Zahid Khan,et al.  FAULT MANAGEMENT IN WIRELESS SENSOR NETWORKS , 2013 .

[80]  Hongkun Yang,et al.  Scalable Verification of Networks With Packet Transformers Using Atomic Predicates , 2017, IEEE/ACM Transactions on Networking.

[81]  Rui Abreu,et al.  A Survey on Software Fault Localization , 2016, IEEE Transactions on Software Engineering.

[82]  EDDIE KOHLER,et al.  The click modular router , 2000, TOCS.

[83]  Chi Harold Liu,et al.  Control traffic protection in software-defined networks , 2014, 2014 IEEE Global Communications Conference.

[84]  Stanislav Lange,et al.  Heuristic Approaches to the Controller Placement Problem in Large Scale SDN Networks , 2015, IEEE Transactions on Network and Service Management.

[85]  Didier Colle,et al.  OpenFlow: Meeting carrier-grade recovery requirements , 2013, Comput. Commun..

[86]  Didier Colle,et al.  Fast failure recovery for in-band OpenFlow networks , 2013, 2013 9th International Conference on the Design of Reliable Communication Networks (DRCN).

[87]  Michael Schapira,et al.  VeriCon: towards verifying controller programs in software-defined networks , 2014, PLDI.

[88]  Stefan Schmid,et al.  Reclaiming the Brain: Useful OpenFlow Functions in the Data Plane , 2014, HotNets.

[89]  Rodrigo Fonseca,et al.  Planck , 2014, SIGCOMM.

[90]  Xin Huang,et al.  Efficient conflict detection in flow-based virtualized networks , 2012, 2012 International Conference on Computing, Networking and Communications (ICNC).

[91]  Maciej Kuźniar,et al.  What You Need to Know About SDN Flow Tables , 2015, PAM.

[92]  Minlan Yu,et al.  HONE: Joint Host-Network Traffic Management in Software-Defined Networks , 2014, Journal of Network and Systems Management.

[93]  Shriram Krishnamurthi,et al.  Tierless Programming and Reasoning for Software-Defined Networks , 2014, NSDI.

[94]  David Walker,et al.  Frenetic: a network programming language , 2011, ICFP.

[95]  Wolfgang Kellerer,et al.  Survey on Network Virtualization Hypervisors for Software Defined Networking , 2015, IEEE Communications Surveys & Tutorials.

[96]  Bo Yang,et al.  RuleTris: Minimizing Rule Update Latency for TCAM-Based SDN Switches , 2016, 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS).

[97]  Dejan Kostic,et al.  Providing Reliable FIB Update Acknowledgments in SDN , 2014, CoNEXT.

[98]  Fernando M. V. Ramos,et al.  SMaRtLight: A Practical Fault-Tolerant SDN Controller , 2014, ArXiv.

[99]  Marco Canini,et al.  SDLoad: an extensible framework for SDN workload generation , 2014, HotSDN.

[100]  Brighten Godfrey,et al.  VeriFlow: verifying network-wide invariants in real time , 2012, HotSDN '12.

[101]  Qi Hao,et al.  A Survey on Software-Defined Network and OpenFlow: From Concept to Implementation , 2014, IEEE Communications Surveys & Tutorials.

[102]  Anirudh Sivaraman,et al.  Language-Directed Hardware Design for Network Performance Monitoring , 2017, SIGCOMM.

[103]  Nick McKeown,et al.  Where is the debugger for my software-defined network? , 2012, HotSDN '12.

[104]  Ahmed Toumanari,et al.  Survey of Security in Software-Defined Network , 2017 .

[105]  Koji Okamura,et al.  Fast failover mechanism for software defined networking: OpenFlow based , 2014, CFI '14.

[106]  Scott Shenker,et al.  How Did We Get Into This Mess? Isolating Fault- Inducing Inputs to SDN Control Software , 2013 .

[107]  Marco Canini,et al.  A NICE Way to Test OpenFlow Applications , 2012, NSDI.

[108]  Sanjay Jha,et al.  A Survey of Securing Networks Using Software Defined Networking , 2015, IEEE Transactions on Reliability.

[109]  Arjan Durresi,et al.  A survey: Control plane scalability issues and approaches in Software-Defined Networking (SDN) , 2017, Comput. Networks.

[110]  Pavol Cerný,et al.  Optimizing horn solvers for network repair , 2016, 2016 Formal Methods in Computer-Aided Design (FMCAD).

[111]  Nate Foster,et al.  NetKAT: semantic foundations for networks , 2014, POPL.

[112]  Ramesh Govindan,et al.  Flow-level state transition as a new switch primitive for SDN , 2014, HotSDN.

[113]  Rob Sherwood,et al.  The controller placement problem , 2012, HotSDN@SIGCOMM.

[114]  Marco Canini,et al.  Is your OpenFlow application correct? , 2011, CoNEXT '11 Student.

[115]  Yashar Ganjali,et al.  On scalability of software-defined networking , 2013, IEEE Communications Magazine.

[116]  Bo Yang,et al.  Is every flow on the right track?: Inspect SDN forwarding with RuleScope , 2016, IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications.

[117]  Sriram Natarajan,et al.  A Software defined Cloud-Gateway automation system using OpenFlow , 2013, 2013 IEEE 2nd International Conference on Cloud Networking (CloudNet).

[118]  Jean-Baptiste Jeannin,et al.  Correct by Construction Networks Using Stepwise Refinement , 2017, NSDI.

[119]  Myungjin Lee,et al.  Simplifying Datacenter Network Debugging with PathDump , 2016, OSDI.

[120]  Anja Feldmann,et al.  Incremental SDN deployment in enterprise networks , 2013, Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication.

[121]  Rob Sherwood,et al.  On Controller Performance in Software-Defined Networks , 2012, Hot-ICE.

[122]  Alan L. Cox,et al.  Scalable Multi-Failure Fast Failover via Forwarding Table Compression , 2016, SOSR.

[123]  Susan Hares,et al.  Network Programmability With ForCES , 2015, IEEE Communications Surveys & Tutorials.

[124]  Pavlin Radoslavov,et al.  ONOS: towards an open, distributed SDN OS , 2014, HotSDN.

[125]  Marina Thottan,et al.  Latency in Software Defined Networks: Measurements and Mitigation Techniques , 2015, SIGMETRICS.

[126]  Gargi Dasgupta,et al.  Anomaly Detection Using Program Control Flow Graph Mining From Execution Logs , 2016, KDD.

[127]  Vijay Mann,et al.  JURY: Validating Controller Actions in Software-Defined Networks , 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[128]  Franck Le,et al.  Stateless Network Functions: Breaking the Tight Coupling of State and Processing , 2017, NSDI.

[129]  Kostas Pentikousis,et al.  Software-Defined Networking (SDN): Layers and Architecture Terminology , 2015, RFC.

[130]  Scott Shenker,et al.  What, Where, and When: Software Fault Localization for SDN , 2012 .

[131]  Shriram Krishnamurthi,et al.  Static Differential Program Analysis for Software-Defined Networks , 2015, FM.

[132]  George Varghese,et al.  Automatic Test Packet Generation , 2012, IEEE/ACM Transactions on Networking.

[133]  Haoyu Song,et al.  Protocol-oblivious forwarding: unleash the power of SDN through a future-proof forwarding plane , 2013, HotSDN '13.

[134]  Gail-Joon Ahn,et al.  FLOWGUARD: building robust firewalls for software-defined networks , 2014, HotSDN.

[135]  Xiang-Yang Li,et al.  Incremental Deployment and Throughput Maximization Routing for a Hybrid SDN , 2017, IEEE/ACM Transactions on Networking.

[136]  Min Zhu,et al.  B4: experience with a globally-deployed software defined wan , 2013, SIGCOMM.

[137]  Brad A. Myers,et al.  Debugging reinvented , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

[138]  Rastin Pries,et al.  A Flexible OpenFlow-Controller Benchmark , 2012, 2012 European Workshop on Software Defined Networking.

[139]  David Erickson,et al.  The beacon openflow controller , 2013, HotSDN '13.

[140]  Min Chen,et al.  Software-Defined Network Function Virtualization: A Survey , 2015, IEEE Access.

[141]  Paul Barford,et al.  Controller-agnostic SDN Debugging , 2014, CoNEXT.

[142]  Andreas Haeberlen,et al.  Automated Network Repair with Meta Provenance , 2015, HotNets.

[143]  Gaogang Xie,et al.  Action computation for compositional software-defined networking , 2016, 2016 IFIP Networking Conference (IFIP Networking) and Workshops.

[144]  Vyas Sekar,et al.  Testing stateful and dynamic data planes with FlowTest , 2014, HotSDN.

[145]  Nei Kato,et al.  State-of-the-Art Deep Learning: Evolving Machine Intelligence Toward Tomorrow’s Intelligent Network Traffic Control Systems , 2017, IEEE Communications Surveys & Tutorials.

[146]  Patrick Th. Eugster,et al.  Composing Heterogeneous SDN Controllers with Flowbricks , 2014, 2014 IEEE 22nd International Conference on Network Protocols.

[147]  Jamal Hadi Salim,et al.  Forwarding and Control Element Separation (ForCES) Forwarding Element Model , 2010, RFC.

[148]  Ji Yang,et al.  Rethinking the Design of OpenFlow Switch Counters , 2016, SIGCOMM.

[149]  Andrei V. Gurtov,et al.  Security in Software Defined Networks: A Survey , 2015, IEEE Communications Surveys & Tutorials.

[150]  Andreas Haeberlen,et al.  Automated Bug Removal for Software-Defined Networks , 2017, NSDI.

[151]  Marco Canini,et al.  Automatic failure recovery for software-defined networks , 2013, HotSDN '13.

[152]  Muhammad Awais,et al.  Performance evaluation of OpenDaylight SDN controller , 2014, 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS).

[153]  Fernando A. Kuipers,et al.  Fast Recovery in Software-Defined Networks , 2014, 2014 Third European Workshop on Software Defined Networks.

[154]  Andrew Warfield,et al.  Split/Merge: System Support for Elastic Execution in Virtual Middleboxes , 2013, NSDI.

[155]  Zhi Liu,et al.  Troubleshooting blackbox SDN control software with minimal causal sequences , 2014 .

[156]  George Varghese,et al.  Checking Beliefs in Dynamic Networks , 2015, NSDI.

[157]  Dejan Kostic,et al.  Monocle: dynamic, fine-grained data plane monitoring , 2015, CoNEXT.

[158]  David Walker,et al.  Composing Software Defined Networks , 2013, NSDI.

[159]  Costin Raiciu,et al.  SymNet: Scalable symbolic execution for modern networks , 2016, SIGCOMM.

[160]  András Gulyás,et al.  EPOXIDE: A Modular Prototype for SDN Troubleshooting , 2015, SIGCOMM.

[161]  Xin Jin,et al.  SketchVisor: Robust Network Measurement for Software Packet Processing , 2017, SIGCOMM.

[162]  Minzhe Guo,et al.  Controller Placement for Improving Resilience of Software-Defined Networks , 2013, 2013 Fourth International Conference on Networking and Distributed Computing.

[163]  Sylvia Ratnasamy,et al.  A Survey of Enterprise Middlebox Deployments , 2012 .

[164]  David Walker,et al.  Compiling Path Queries , 2016, NSDI.

[165]  Song Guo,et al.  Byzantine-Resilient Secure Software-Defined Networks with Multiple Controllers in Cloud , 2014, IEEE Transactions on Cloud Computing.

[166]  Ramesh Govindan,et al.  Trumpet: Timely and Precise Triggers in Data Centers , 2016, SIGCOMM.

[167]  Junda Liu,et al.  Libra: Divide and Conquer to Verify Forwarding Tables in Huge Networks , 2014, NSDI.

[168]  Chen Liang,et al.  Participatory networking: an API for application control of SDNs , 2013, SIGCOMM.

[169]  Rupak Majumdar,et al.  Kuai: A model checker for software-defined networks , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

[170]  Jennifer Rexford,et al.  Dapper: Data Plane Performance Diagnosis of TCP , 2016, SOSR.

[171]  Cole Schlesinger,et al.  Splendid isolation: a slice abstraction for software-defined networks , 2012, HotSDN '12.

[172]  Minlan Yu,et al.  SIMPLE-fying middlebox policy enforcement using SDN , 2013, SIGCOMM.

[173]  Azer Bestavros,et al.  A Verification Platform for SDN-Enabled Applications , 2014, 2014 IEEE International Conference on Cloud Engineering.

[174]  David Walker,et al.  A compiler and run-time system for network programming languages , 2012, POPL '12.

[175]  Marco Canini,et al.  FatTire: declarative fault tolerance for software-defined networks , 2013, HotSDN '13.

[176]  Dave Katz,et al.  Bidirectional Forwarding Detection (BFD) , 2010, RFC.

[177]  Didier Colle,et al.  In-band control, queuing, and failure recovery functionalities for openflow , 2016, IEEE Network.

[178]  Harsha V. Madhyastha,et al.  FlowSense: Monitoring Network Utilization with Zero Measurement Cost , 2013, PAM.

[179]  Laurent Vanbever,et al.  BigBug: Practical Concurrency Analysis for SDN , 2017, SOSR.

[180]  Yang Xu,et al.  Identifying SDN state inconsistency in OpenStack , 2015, SOSR.

[181]  Kai Bu,et al.  RuleScope: Inspecting Forwarding Faults for Software-Defined Networking , 2017, IEEE/ACM Transactions on Networking.

[182]  Phuoc Tran-Gia,et al.  OFCProbe: A platform-independent tool for OpenFlow controller analysis , 2014, 2014 IEEE Fifth International Conference on Communications and Electronics (ICCE).

[183]  Stefan Schmid,et al.  Provable data plane connectivity with local fast failover: introducing openflow graph algorithms , 2014, HotSDN.

[184]  Luciano Paschoal Gaspary,et al.  Survivor: An enhanced controller placement strategy for improving SDN survivability , 2014, 2014 IEEE Global Communications Conference.

[185]  Ben Y. Zhao,et al.  Packet-Level Telemetry in Large Datacenter Networks , 2015, SIGCOMM.

[186]  Petr Kuznetsov,et al.  STN: A Robust and Distributed SDN Control Plane , 2014 .

[187]  Takayuki Sasaki,et al.  Control-plane isolation and recovery for a secure SDN architecture , 2016, 2016 IEEE NetSoft Conference and Workshops (NetSoft).

[188]  Fang Hao,et al.  UMON: flexible and fine grained traffic monitoring in open vSwitch , 2015, CoNEXT.

[189]  Bo Yang,et al.  SDNShield: Reconciliating Configurable Application Permissions for SDN App Markets , 2016, 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN).

[190]  Gustavo Augusto Lima de Campos,et al.  Flow-based conflict detection in OpenFlow networks using first-order logic , 2014, 2014 IEEE Symposium on Computers and Communications (ISCC).

[191]  Andreas Haeberlen,et al.  Answering why-not queries in software-defined networks with negative provenance , 2013, HotNets.

[192]  Martín Casado,et al.  Onix: A Distributed Control Platform for Large-scale Production Networks , 2010, OSDI.

[193]  Donald Beaver,et al.  Dapper, a Large-Scale Distributed Systems Tracing Infrastructure , 2010 .

[194]  Xiao Yu,et al.  CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs , 2016, ASPLOS.

[195]  Osman Hasan,et al.  Applying Formal Methods to Networking: Theory, Techniques, and Applications , 2013, IEEE Communications Surveys & Tutorials.

[196]  Rob Sherwood,et al.  FlowVisor: A Network Virtualization Layer , 2009 .

[197]  John B. Carter,et al.  SDN traceroute: tracing SDN forwarding without changing network behavior , 2014, HotSDN.

[198]  George Varghese,et al.  P4: programming protocol-independent packet processors , 2013, CCRV.

[199]  Samuel T. King,et al.  Debugging the data plane with anteater , 2011, SIGCOMM 2011.

[200]  Tooska Dargahi,et al.  A Survey on the Security of Stateful SDN Data Planes , 2017, IEEE Communications Surveys & Tutorials.

[201]  Bo Yang,et al.  Compiling minimum incremental update for modular SDN languages , 2014, HotSDN.

[202]  Ying Zhang,et al.  Fast failover for control traffic in Software-defined Networks , 2012, 2012 IEEE Global Communications Conference (GLOBECOM).

[203]  Kevin Benton,et al.  OpenFlow vulnerability assessment , 2013, HotSDN '13.

[204]  Albert G. Greenberg,et al.  On static reachability analysis of IP networks , 2005, Proceedings IEEE 24th Annual Joint Conference of the IEEE Computer and Communications Societies..

[205]  David Walker,et al.  Compiling path queries in software-defined networks , 2014, HotSDN.

[206]  Ulas C. Kozat,et al.  A new control plane for 5G network architecture with a case study on unified handoff, mobility, and routing management , 2014, IEEE Communications Magazine.

[207]  Sujata Banerjee,et al.  Corybantic: towards the modular composition of SDN control programs , 2013, HotNets.

[208]  Ted Taekyoung Kwon,et al.  OpenSample: A Low-Latency, Sampling-Based Measurement Platform for Commodity SDN , 2014, 2014 IEEE 34th International Conference on Distributed Computing Systems.

[209]  Myungjin Lee,et al.  CherryPick: tracing packet trajectory in software-defined datacenter networks , 2015, SOSR.

[210]  Martín Casado,et al.  NOX: towards an operating system for networks , 2008, CCRV.

[211]  Aditya Akella,et al.  OpenNF: enabling innovation in network function control , 2015, SIGCOMM 2015.

[212]  Ting Zhang,et al.  A declarative failure recovery system in software defined networks , 2016, 2016 IEEE International Conference on Communications (ICC).

[213]  Jianping Wu,et al.  Formal Modeling and Systematic Black-Box Testing of SDN Data Plane , 2014, 2014 IEEE 22nd International Conference on Network Protocols.

[214]  Marco Canini,et al.  Automating the Testing of OpenFlow Applications , 2011 .

[215]  Francisco J. Ros,et al.  Five nines of southbound reliability in software-defined networks , 2014, HotSDN.

[216]  Haiyong Xie,et al.  SDNi: A Message Exchange Protocol for Software Defined Networks (SDNS) across Multiple Domains , 2012 .

[217]  Sujata Banerjee,et al.  DevoFlow: scaling flow management for high-performance networks , 2011, SIGCOMM 2011.

[218]  Sharad Malik,et al.  An assertion language for debugging SDN applications , 2014, HotSDN.