TY - GEN
T1 - Model Checking the Reliability of Data Center Network
AU - Ni, Congwei
AU - Cheng, Sihan
AU - Wang, Xutao
AU - Hu, Tianyun
AU - Dai, Zhenjin
AU - Zhang, Dongliang
AU - Li, Lingxiao
AU - Huang, Xin
N1 - Publisher Copyright:
© 2018 IEEE.
PY - 2018/12/26
Y1 - 2018/12/26
N2 - Data center network provides a basis for internet-based applications nowadays, thereby the reliability of it is vital. The purpose of this research is to examine and compare the reliability of two data center network architectures, which are Common Tree and Fat-tree topology structure. To verify the reliability of these two architectures, a tool called PRISM with the function of probabilistic model checking is used in this paper. Results show that Fat-tree topology structure is more reliable than Common Tree, and the reliabilities of core layer, edge/ aggregation layer and terminal layer decline sequentially.
AB - Data center network provides a basis for internet-based applications nowadays, thereby the reliability of it is vital. The purpose of this research is to examine and compare the reliability of two data center network architectures, which are Common Tree and Fat-tree topology structure. To verify the reliability of these two architectures, a tool called PRISM with the function of probabilistic model checking is used in this paper. Results show that Fat-tree topology structure is more reliable than Common Tree, and the reliabilities of core layer, edge/ aggregation layer and terminal layer decline sequentially.
KW - CTMC
KW - Common data center topology
KW - Fat tree topology
KW - Model checking
KW - PRISM
UR - http://www.scopus.com/inward/record.url?scp=85061327560&partnerID=8YFLogxK
U2 - 10.1109/ITME.2018.00197
DO - 10.1109/ITME.2018.00197
M3 - Conference Proceeding
AN - SCOPUS:85061327560
T3 - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
SP - 882
EP - 884
BT - Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
Y2 - 19 October 2018 through 21 October 2018
ER -