仪表和控制系统(Instrumentation and Control System,I&C)是核电厂的神经中枢。数字化仪控系统已广泛应用于核电厂相关系统中,其可靠性评价非常重要。现有核电厂系统可靠性分析以静态事件树/故障树方法为主,不适合描述组件故障具有相关性的可修复系统。马尔可夫模型更合适描述此类系统,但模型复杂度随系统部件增加呈指数增长,实际运用中易出现模型庞大,可读性较差的问题。布尔逻辑驱动马尔可夫过程(Boolean Logic Driven Markov Processes,BDMP)是一种能够自动生成马尔可夫模型的高层建模方法,能描述设备的可修复性和组件故障的相关性,在模型描述能力和建模简便程度之间取得了良好的平衡。现有的BDMP分析软件YAMS只能使用蒙特卡洛仿真方法进行计算。但是,YAMS的计算精度缺乏对比和验证。为了验证YAMS计算结果的有效性,提高BDMP定量分析算法的效率,使之可以处理更大规模的BDMP模型,提出了一种BDMP模型到马尔可夫转换模型的方法,并使用概率模型检测器对转换所得马尔可夫模型进行定量分析,开发了对应的转换与定量分析软件。同时,对BDMP叶节点的维修描述进行了改进,加入了定期检测触发的自检未覆盖故障组件的同时维修。将所开发软件应用于对核电厂蒸汽发生器水位控制系统的BDMP建模和可靠性定量分析,结果表明:所提方法可用于中等规模DCS子系统,设置同步维修的分析结果更合理。