A Fault Repair Method for Workstation Cluster Based on Probabilistic Model Checking

To analyze the component modules and maintenance unit modules in the workstation cluster, a fault repair method for workstation cluster based on probabilistic model checking is proposed. In the proposed method, the queue model is introduced when workstations are waiting for repairing, and different priorities are assigned according to the importance of the component functions. The formal model of the system is established by an extended continuous time Markov chain, the attributes of the system are described by continuous stochastic logic, and the fault repair module is verified by PRISM. The experimental results show that the proposed method can greatly reduce the time required for the maintenance process, and improve the maintenance efficiency and the fault tolerance of the system.