为了分析工作站集群中的组件模块和维护单元模块，提出了一种基于概率模型检查的工作站集群故障修复方法。 在提出的方法中，当工作站等待维修时引入了队列模型，并根据组件功能的重要性分配了不同的优先级。 通过扩展的连续时间马尔可夫链建立系统的形式化模型，通过连续随机逻辑描述系统的属性，并通过PRISM对故障修复模块进行验证。 实验结果表明，该方法可以大大减少维护过程所需的时间，提高了系统的维护效率和容错能力。