The reliability and availability of the onboard high-speed train control system are important to guarantee operational efficiency and railway safety. Failures occurring in the onboard system may result in serious accidents. In the analysis of the effects of failure, it is significant to consider the operation of an onboard system. This article presents a systemic approach to evaluate the reliability and availability for the onboard system based on dynamic Bayesian network, with taking into account dynamic failure behaviors, imperfect coverage factors, and temporal effects in the operational phase. The case studies are presented and compared for onboard systems with different redundant strategies, that is, the triple modular redundancy, hot spare double dual, and cold spare double dual. Dynamic fault trees of the three kinds of onboard system are constructed and mapped into dynamic Bayesian networks. The forward and backward inferences are conducted not only to evaluate the reliability and availability but also to recognize the vulnerabilities of the onboard systems. A sensitivity analysis is carried out for evaluating the effects of failure rates subject to uncertainties. To improve the reliability and availability, the recovery mechanism should be paid more attention. Finally, the proposed approach is validated with the field data from one railway bureau in China and some industrial impacts are provided.
HCSP formal modeling and verification method and its application in the hybrid characteristics of a high speed train control system
