Proceedings of the 2015 International Conference on Materials Engineering and Information Technology Applications

A Study on the Dependability of Software Defined Networks

Authors
Jianqing Wu, Yan Huang, Jiaming Kong, Qin Tang, Xin Huang
Corresponding Author
Jianqing Wu
Available Online August 2015.
DOI
10.2991/meita-15.2015.58How to use a DOI?
Keywords
Software defined networking, model checking
Abstract

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.

Copyright
© 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/).

Download article (PDF)

Volume Title
Proceedings of the 2015 International Conference on Materials Engineering and Information Technology Applications
Series
Advances in Engineering Research
Publication Date
August 2015
ISBN
978-94-6252-103-2
ISSN
2352-5401
DOI
10.2991/meita-15.2015.58How to use a DOI?
Copyright
© 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  -