Model Checking the Reliability of Data Center Network

Congwei Ni; Sihan Cheng; Xutao Wang; Tianyun Hu; Zhenjin Dai; Dongliang Zhang; Lingxiao Li; Xin Huang

doi:10.1109/ITME.2018.00197

Model Checking the Reliability of Data Center Network

Congwei Ni, Sihan Cheng, Xutao Wang, Tianyun Hu, Zhenjin Dai, Dongliang Zhang, Lingxiao Li, Xin Huang

School of Advanced Technology

Xi'an Jiaotong-Liverpool University

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

Abstract

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.

Original language	English
Title of host publication	Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	882-884
Number of pages	3
ISBN (Electronic)	9781538677438
DOIs	https://doi.org/10.1109/ITME.2018.00197
Publication status	Published - 26 Dec 2018
Event	9th International Conference on Information Technology in Medicine and Education, ITME 2018 - Hangzhou, Zhejiang, China Duration: 19 Oct 2018 → 21 Oct 2018

Publication series

Name	Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018

Conference

Conference	9th International Conference on Information Technology in Medicine and Education, ITME 2018
Country/Territory	China
City	Hangzhou, Zhejiang
Period	19/10/18 → 21/10/18

Keywords

CTMC
Common data center topology
Fat tree topology
Model checking
PRISM

Access to Document

10.1109/ITME.2018.00197

Cite this

Ni, C., Cheng, S., Wang, X., Hu, T., Dai, Z., Zhang, D., Li, L., & Huang, X. (2018). Model Checking the Reliability of Data Center Network. In Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018 (pp. 882-884). Article 8589429 (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/ITME.2018.00197

Ni, Congwei ; Cheng, Sihan ; Wang, Xutao et al. / Model Checking the Reliability of Data Center Network. Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018. Institute of Electrical and Electronics Engineers Inc., 2018. pp. 882-884 (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018).

@inproceedings{c55b1d971bd84f6b883a6aa8a4b9cb9b,

title = "Model Checking the Reliability of Data Center Network",

abstract = "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.",

keywords = "CTMC, Common data center topology, Fat tree topology, Model checking, PRISM",

author = "Congwei Ni and Sihan Cheng and Xutao Wang and Tianyun Hu and Zhenjin Dai and Dongliang Zhang and Lingxiao Li and Xin Huang",

note = "Publisher Copyright: {\textcopyright} 2018 IEEE.; 9th International Conference on Information Technology in Medicine and Education, ITME 2018 ; Conference date: 19-10-2018 Through 21-10-2018",

year = "2018",

month = dec,

day = "26",

doi = "10.1109/ITME.2018.00197",

language = "English",

series = "Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "882--884",

booktitle = "Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018",

}

Ni, C, Cheng, S, Wang, X, Hu, T, Dai, Z, Zhang, D, Li, L & Huang, X 2018, Model Checking the Reliability of Data Center Network. in Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018., 8589429, Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018, Institute of Electrical and Electronics Engineers Inc., pp. 882-884, 9th International Conference on Information Technology in Medicine and Education, ITME 2018, Hangzhou, Zhejiang, China, 19/10/18. https://doi.org/10.1109/ITME.2018.00197

Model Checking the Reliability of Data Center Network. / Ni, Congwei; Cheng, Sihan; Wang, Xutao et al.
Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018. Institute of Electrical and Electronics Engineers Inc., 2018. p. 882-884 8589429 (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018).

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

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

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 -

Ni C, Cheng S, Wang X, Hu T, Dai Z, Zhang D et al. Model Checking the Reliability of Data Center Network. In Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018. Institute of Electrical and Electronics Engineers Inc. 2018. p. 882-884. 8589429. (Proceedings - 9th International Conference on Information Technology in Medicine and Education, ITME 2018). doi: 10.1109/ITME.2018.00197

Model Checking the Reliability of Data Center Network

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this