Statistical Model Checking for On-board Train Integrity Safety and Performance Analysis
Résumé
Railway signaling systems are in continuous progress to enhance competitiveness of the railway sector and cope with the evolution of the railway industry and market needs. Among the objectives is to increase the capacity of the European rail network, in particular by enabling moving block operation in a cost-effective way. Therefore, traditional signaling systems relying on track circuits or axle counters for train position detection and train integrity monitoring have to be substituted by on-board modules which must ensure that the train is moving safely and integer during its journey, i.e., no wagon is lost. Using an on-board control-command system for the train integrity functionality transfers more responsibility, in terms of train operation safety, from infrastructure managers to railway operators. In this context, a new on-board train integrity (OTI) function, compliant with the European Train Control System (ETCS), is proposed to help tackle the new challenges. To help implement this new function, the present paper proposes an analysis of the OTI performance and safety indicators based on statistical model-checking. The conducted analysis has revealed several important aspects about the OTI implementation and safety performance. In particular, sensitivity analysis has shown which parameters and factors are most impacting w.r.t. a number of safety indicators. We show how the outcomes of our study can be advantageously used to set optimal choices, in terms of configuration parameters, to maximize dependability and performance features.