Route safety verification of train control system by FTA modeling in SCADE

Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang, Ming Chai. Route safety verification of train control system by FTA modeling in SCADE. In Wei-Bin Zhang, Alexandre M. Bayen, Javier J. Sánchez Medina, Matthew J. Barth, editors, 21st International Conference on Intelligent Transportation Systems, ITSC 2018, Maui, HI, USA, November 4-7, 2018. pages 2718-2723, IEEE, 2018. [doi]

Abstract

Abstract is missing.