Model Checking PBFT Consensus Mechanism in Healthcare Blockchain Network

Now blockchain network is used in many areas such as healthcare, energy trading and so on. However, the research about how to evaluate the performance of the blockchain network is insufficient. In some papers, the performance of blockchain is analyzed by running real blockchain applications. However, the devices and services cost is a burden. In this paper, we aim to use continuous-time Markov chain (CTMC) models to simulate the time response of PBFT (Practical Byzantine Fault Tolerance)-based healthcare blockchain network. Some influencing factors such as replica nodes delay and primary node delay will be analyzed. The simulation results also contribute to the optimization design of blockchain network.