Reliability Modeling and Analysis of Hospital Information System Based on Microservices

In recent years, modern hospital has a large scale, complex relationship, and hospital information system (HIS) due to rapid development of computer networks. But there is still a big gap for reliable use of clinical information and management system, especially in terms of fault prevention. The microservice architecture has great advantages for development and delivery of complex system. This paper proposes a novel microservice reliability model (MSRM) for HIS based on the formalism of Predicate Petri net (PrT net). First, microservice reliability requirement design is given and PrT net is used to model the reliability of microservice, and the corresponding syntax and semantics are also presented. Then the redundancy and circuit breaker is designed by using PrT net, a composition strategy is proposed and the reliability of microservices is analyzed qualitatively and quantitatively. Based on the constructed MSRM, the correctness of PrT net modeling and effectiveness of the strategies have been proven theoretically. Finally, a public healthcare case is used to explain modeling process, and verify the effectiveness of proposed method. Experimental results show that the strategy for HIS microservice reliability is effective.