Thinking inside the Box: Differential fault localization for SDN control plane

Xing Li, Yinbo Yu, Kai Bu, Yan Chen, Jianfeng Yang*, Ruijie Quan

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Abstract

The control plane of Software-Defined Networking (SDN) is the key component that oversees and manages networks. However, involving design or logic flaws in its policy enforcement and network control is inevitable, which can cause it to behave incorrectly and induce network anomalies. Unfortunately, existing approaches mainly focus on policy verification or fault troubleshooting with little fault localization capability for repairing these flaws in production environments. In this paper, we present FALCON, the first FAult Localization tool for SDN CONtrol plane. We design a novel causal inference mechanism based on differential checking, which symmetrically compares two system behaviors with similar processes and identifies the causality in related code execution paths with concrete contexts to explain why a fault happened in the SDN network. Our main contributions include 1) a lightweight rule-based dynamic tracing mechanism for recording system behaviors of the SDN control plane, 2) a context-aware modeling mechanism for modeling these behaviors, and 3) a differential checking mechanism for localizing controller faults according to formulated symptoms. Our evaluation shows that FALCON is capable of localizing faults in SDN control plane with low overhead on performance.

Original languageEnglish (US)
Title of host publication2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages353-359
Number of pages7
ISBN (Electronic)9783903176157
StatePublished - May 16 2019
Event2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019 - Arlington, United States
Duration: Apr 8 2019Apr 12 2019

Publication series

Name2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019

Conference

Conference2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019
CountryUnited States
CityArlington
Period4/8/194/12/19

Fingerprint

Defects
Networking
Software
Fault
Localization
Software defined networking
Concretes
Controllers
Modeling
Anomaly
Controller
Causality
Context-aware
Evaluation
Causal inference
Rule-based
Enforcement
Logic

ASJC Scopus subject areas

  • Information Systems and Management
  • Management Science and Operations Research
  • Information Systems
  • Computer Networks and Communications

Cite this

Li, X., Yu, Y., Bu, K., Chen, Y., Yang, J., & Quan, R. (2019). Thinking inside the Box: Differential fault localization for SDN control plane. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019 (pp. 353-359). [8717815] (2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019). Institute of Electrical and Electronics Engineers Inc..
Li, Xing ; Yu, Yinbo ; Bu, Kai ; Chen, Yan ; Yang, Jianfeng ; Quan, Ruijie. / Thinking inside the Box : Differential fault localization for SDN control plane. 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers Inc., 2019. pp. 353-359 (2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019).
@inproceedings{dcf21ee60f884b818a1b07d5018fb0f6,
title = "Thinking inside the Box: Differential fault localization for SDN control plane",
abstract = "The control plane of Software-Defined Networking (SDN) is the key component that oversees and manages networks. However, involving design or logic flaws in its policy enforcement and network control is inevitable, which can cause it to behave incorrectly and induce network anomalies. Unfortunately, existing approaches mainly focus on policy verification or fault troubleshooting with little fault localization capability for repairing these flaws in production environments. In this paper, we present FALCON, the first FAult Localization tool for SDN CONtrol plane. We design a novel causal inference mechanism based on differential checking, which symmetrically compares two system behaviors with similar processes and identifies the causality in related code execution paths with concrete contexts to explain why a fault happened in the SDN network. Our main contributions include 1) a lightweight rule-based dynamic tracing mechanism for recording system behaviors of the SDN control plane, 2) a context-aware modeling mechanism for modeling these behaviors, and 3) a differential checking mechanism for localizing controller faults according to formulated symptoms. Our evaluation shows that FALCON is capable of localizing faults in SDN control plane with low overhead on performance.",
author = "Xing Li and Yinbo Yu and Kai Bu and Yan Chen and Jianfeng Yang and Ruijie Quan",
year = "2019",
month = "5",
day = "16",
language = "English (US)",
series = "2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "353--359",
booktitle = "2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019",
address = "United States",

}

Li, X, Yu, Y, Bu, K, Chen, Y, Yang, J & Quan, R 2019, Thinking inside the Box: Differential fault localization for SDN control plane. in 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019., 8717815, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019, Institute of Electrical and Electronics Engineers Inc., pp. 353-359, 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019, Arlington, United States, 4/8/19.

Thinking inside the Box : Differential fault localization for SDN control plane. / Li, Xing; Yu, Yinbo; Bu, Kai; Chen, Yan; Yang, Jianfeng; Quan, Ruijie.

2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers Inc., 2019. p. 353-359 8717815 (2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Thinking inside the Box

T2 - Differential fault localization for SDN control plane

AU - Li, Xing

AU - Yu, Yinbo

AU - Bu, Kai

AU - Chen, Yan

AU - Yang, Jianfeng

AU - Quan, Ruijie

PY - 2019/5/16

Y1 - 2019/5/16

N2 - The control plane of Software-Defined Networking (SDN) is the key component that oversees and manages networks. However, involving design or logic flaws in its policy enforcement and network control is inevitable, which can cause it to behave incorrectly and induce network anomalies. Unfortunately, existing approaches mainly focus on policy verification or fault troubleshooting with little fault localization capability for repairing these flaws in production environments. In this paper, we present FALCON, the first FAult Localization tool for SDN CONtrol plane. We design a novel causal inference mechanism based on differential checking, which symmetrically compares two system behaviors with similar processes and identifies the causality in related code execution paths with concrete contexts to explain why a fault happened in the SDN network. Our main contributions include 1) a lightweight rule-based dynamic tracing mechanism for recording system behaviors of the SDN control plane, 2) a context-aware modeling mechanism for modeling these behaviors, and 3) a differential checking mechanism for localizing controller faults according to formulated symptoms. Our evaluation shows that FALCON is capable of localizing faults in SDN control plane with low overhead on performance.

AB - The control plane of Software-Defined Networking (SDN) is the key component that oversees and manages networks. However, involving design or logic flaws in its policy enforcement and network control is inevitable, which can cause it to behave incorrectly and induce network anomalies. Unfortunately, existing approaches mainly focus on policy verification or fault troubleshooting with little fault localization capability for repairing these flaws in production environments. In this paper, we present FALCON, the first FAult Localization tool for SDN CONtrol plane. We design a novel causal inference mechanism based on differential checking, which symmetrically compares two system behaviors with similar processes and identifies the causality in related code execution paths with concrete contexts to explain why a fault happened in the SDN network. Our main contributions include 1) a lightweight rule-based dynamic tracing mechanism for recording system behaviors of the SDN control plane, 2) a context-aware modeling mechanism for modeling these behaviors, and 3) a differential checking mechanism for localizing controller faults according to formulated symptoms. Our evaluation shows that FALCON is capable of localizing faults in SDN control plane with low overhead on performance.

UR - http://www.scopus.com/inward/record.url?scp=85067022950&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85067022950&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:85067022950

T3 - 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019

SP - 353

EP - 359

BT - 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019

PB - Institute of Electrical and Electronics Engineers Inc.

ER -

Li X, Yu Y, Bu K, Chen Y, Yang J, Quan R. Thinking inside the Box: Differential fault localization for SDN control plane. In 2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019. Institute of Electrical and Electronics Engineers Inc. 2019. p. 353-359. 8717815. (2019 IFIP/IEEE Symposium on Integrated Network and Service Management, IM 2019).