Model Checking the Reliability of Blockchain-based Edge Computing Network

In recent years, the development of blockchain and edge computing is very quickly. Compared with centralized cloud scenario, edge computing help to improve the efficiency of it. The end devices can undertake some of the work load to reduce the pressure of centralized cloud devices. Blockchain technology help to enhance the security of the whole network, and it is also an emerging technology. However, the reliability of blockchain-based edge computing network (BBECN) is still a challenge, few of the recent research focus on the reliability evaluation of it. To make up the research, in this paper, a continuous-time Markov chain (CTMC) model is proposed to calculate the reliability of BBECN. In this paper, 4 experiments are proposed to evaluate the influence of different influence factors and compare them. The research work of this paper will help to optimize the architecture design of BBECN.