基于BDD的车载ATP安全系统可靠性研究

摘要

车载ATP安全系统作为信号系统主要组成部分,对列车的安全性起着决定性作用,必须保证其具有高度的可靠性.传统上采用故障树分析方法(FTA)对车载ATP安全系统可靠性进行分析,但是在处理复杂系统时,存在着计算量大、步骤复杂等缺陷.文中在FTA方法的基础上,采用基于迭代法的BDD分析.实验数据表明,在保证计算精度的同时,能够减少分析的复杂度和计算量,并可直接计算出不同重要度,进一步对基本事件排序方法进行了优化.