Including failure correlation in availability modeling of a software-defined backbone network

Software-defined networking (SDN) promises to improve the programmability and flexibility of networks, but also brings new challenges that need to be explored. The main objective of this paper is to include failure correlation in a quantitative assessment of the properties of SDN backbone networks to determine whether they can provide similar availability as the traditional IP backbone networks. To achieve this goal, this paper has formalized a two-level availability model that captures the global network connectivity without neglecting the essential details and which includes a failure correlation assessment. This paper proposes a modular and systematic approach for characterizing the principal minimal-cut sets in both SDN and traditional networks, and stochastic activity network models for characterizing the single network elements. To demonstrate the feasibility of the model, an extensive sensitivity analysis has been carried out on a national backbone network.