Model Checking the Reliability of Data Center Network

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.