A Study on the Dependability of Software Defined Networks
- 10.2991/meita-15.2015.58How to use a DOI?
- Software defined networking, model checking
In this paper, we demonstrate how probabilistic model checking can be applied to a study of dependability analysis for a Software-Defined Network with the PRISM tool for probabilistic model checking. Based on probabilistic model checking, the Software-Defined Network is modelled using large and complex Markov chains. In order to improve the reliability of the system, we propose a multi-controller architecture. The results of the designed system model are verified and visualized using PRISM.
- © 2015, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Jianqing Wu AU - Yan Huang AU - Jiaming Kong AU - Qin Tang AU - Xin Huang PY - 2015/08 DA - 2015/08 TI - A Study on the Dependability of Software Defined Networks BT - Proceedings of the 2015 International Conference on Materials Engineering and Information Technology Applications PB - Atlantis Press SP - 314 EP - 318 SN - 2352-5401 UR - https://doi.org/10.2991/meita-15.2015.58 DO - 10.2991/meita-15.2015.58 ID - Wu2015/08 ER -