A survey of GNSS-based research and developments for the European railway signaling

J Marais, J Beugin, M Berbineau - IEEE Transactions on …, 2017 - ieeexplore.ieee.org
Railways have already introduced satellite-based localization systems for non-safety related
applications. Driven by economic reasons, the use of these systems for new services and, in …

Anomaly detection/detectability for a linear model with a bounded nuisance parameter

F Harrou, L Fillatre, I Nikiforov - Annual Reviews in Control, 2014 - Elsevier
Anomaly detection is addressed within a statistical framework. Often the statistical model is
composed of two types of parameters: the informative parameters and the nuisance ones …

A SVM-based framework for fault detection in high-speed trains

J Liu, Y Hu, S Yang - Measurement, 2021 - Elsevier
Abstract High-Speed Trains (HSTs) demand high reliability, maintainability and availability
of their installed equipment. The braking system, in particular, is a safety-critical system in …

Formalizing a subset of ERTMS/ETCS specifications for verification purposes

M Ghazel - Transportation research part C: emerging technologies, 2014 - Elsevier
ERTMS is the standard railway control-command and signaling system which aims to
ensure railway interoperability throughout Europe while enhancing safety and …

A train localization algorithm for train protection systems of the future

M Lauer, D Stein - IEEE Transactions on Intelligent …, 2014 - ieeexplore.ieee.org
This paper describes an algorithm that enables a railway vehicle to determine its position in
a track network. The system is based solely on onboard sensors such as a velocity sensor …

Method for evaluating an extended Fault Tree to analyse the dependability of complex systems: Application to a satellite-based railway system

TPK Nguyen, J Beugin, J Marais - Reliability Engineering & System Safety, 2015 - Elsevier
Evaluating dependability of complex systems requires the evolution of the system states
over time to be analysed. The problem is to develop modelling approaches that take …

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods

D Basile, MH ter Beek, A Ferrari, A Legay - International Journal on …, 2022 - Springer
Shift2Rail is a joint undertaking funded by the EU via its Horizon 2020 program and by main
railway stakeholders. Several Shift2Rail projects aim to investigate the application of formal …

Hybrid belief rule base for regional railway safety assessment with data and knowledge under uncertainty

L Chang, W Dong, J Yang, X Sun, X Xu, X Xu… - Information Sciences, 2020 - Elsevier
Keeping regional railway transportation safe is of great importance for railway system
engineers and decision makers. However, there are still great challenges in modeling the …

HoughMap – Iterative Event-Based Hough Transform for High-Speed Railway Mapping

F Tschopp, C Von Einem, A Cramariuc… - IEEE Robotics and …, 2021 - ieeexplore.ieee.org
To cope with the growing demand for transportation on the railway system, accurate, robust,
and high-frequency positioning is required to enable a safe and efficient utilization of the …

Performance evaluation of GNSS for train localization

D Lu, E Schnieder - IEEE transactions on intelligent …, 2014 - ieeexplore.ieee.org
Global Navigation Satellite Systems (GNSS) are applicable to deliver train locations in real
time. This train localization function should comply with railway functional safety standards; …