查看文章

European Train Control System (ETCS) is the signalling and control component of the European Rail Traffic Management System (ERTMS). This system is essential to guarantee the safe and interoperable operation of trains. To enhance the competitiveness of rail transport services, the introduction of innovative solutions are under study in view of the evolution of ETCS. In this context, the adoption of Global Navigation Satellite System (GNSS) for train localization is investigated as a technology which can ensure an undeniable added value for railways. Yet, a main challenge is to provide safety evidence permitting the certification of these new systems. In particular, the classical safety analysis approaches show limitations in dealing with the complexity of such systems. Therefore, more adapted safety and performance analysis techniques have to be elaborated. In this paper, a model-based approach, adapted for the …