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

HotSDN 2013 - Proceedings of the 2013 ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking

Volumn , Issue , 2013, Pages 157-158

  Kozat, Ulaş C ^a   Liang, Guanfeng ^a   Kökten, Koray ^a  

^a Data Analytics and Innovation Group   (United States)

Author keywords

Failure detection; OpenFlow; SDN; Verification

Indexed keywords

CONTROL MESSAGES; FAILURE DETECTION; FORWARDING PLANES; LINK FAILURES; MULTIPLE LINK FAILURES; OPENFLOW; SDN; SOFTWARE-DEFINED NETWORKS;

VERIFICATION;

TOPOLOGY;

EID: 84883726577     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2491185.2491213     Document Type: Conference Paper

References (6)

1. J. Edmonds and E. L. Johnson. Matching, Euler tours and the Chinese postman. Mathematical Programming, 5(1): 88-124, Dec. 1973.
2. S. Ahuja et al. SRLG failure localization in all-optical networks using monitoring cycles and paths. In INFOCOM, 2008.
3. N. Handigol et al. Where is the debugger for my software-defined network? In HotSDN, 2012.
4. P. Kazemian et al. Header space analysis: Static checking for networks. In NSDI, 2012.
5. A. Khurshid et al. Veriflow: Verifying network-wide invariants in real time. In NSDI, 2013.
6. J. Tapolcai et al. On monitoring and failure localization in mesh all-optical networks. In Infocom, 2009.