No Cover Image

E-Thesis 35 views 8 downloads

Testing of a Railway RBC in ERTMS Level 2 using Formal Methods / ALED WALTERS

Swansea University Author: ALED WALTERS

  • 2024_Walters_A.final.68773.pdf

    PDF | E-Thesis – open access

    Copyright: The Author, Aled Rhys Walters, 2024

    Download (3.96MB)

Abstract

Railway technology has been evolving over the last few decades, with current technologies offering many possible advancements. With a solid foundation of knowledge the railway system has much potential, as seen with the European Rail Traffic Management System which offers a unified operation across many...

Full description

Published: Swansea University, Wales, UK 2024
Institution: Swansea University
Degree level: Master of Philosophy
Degree name: M.Phil
Supervisor: Roggenbach, M., and Seisenberger, M.
URI: https://cronfa.swan.ac.uk/Record/cronfa68773
Abstract: Railway technology has been evolving over the last few decades, with current technologies offering many possible advancements. With a solid foundation of knowledge the railway system has much potential, as seen with the European Rail Traffic Management System which offers a unified operation across many countries. However with some developmental freedom, the integration of new technologies with well understood systems can provide issues. With the addition of Radio Block Centres to existing Interlockings, Controllers, Train and Trackside equipment, there is great potential for many new positives to an old industry. Safety is a key issue in adding any new aspect to a system that still has risks, be it down to human or computer errors. The testing of RBCs remains crucial to keeping railways safe and efficient, however that testing can be costly and time consuming. By modelling with formal methods, we suggest that an auxiliary testing approach could be beneficial. By modelling and verifying an abstracted version of these new systems, errors could be caught in a more time- and cost-effective manner, allowing for the most rigorous testing to give maximum impact. Building on work by James et al. and Berger et al., and a partnership with Siemens Rail Automation we examine the suitability of existing models in relation to current industrial testing methods, then proceed to develop our own approach in CSP||B using a discrete-eventmodelling approach. Our model is then verified for collision-free safety and simulated, then compared with results from industrial simulations.
Item Description: A selection of content is redacted or is partially redacted from this thesis to protect sensitive and personal information.
Keywords: ERTMS, European Rail Traffic Management System, Railway, Testing, Verification, RBC, Radio Block Centre
College: Faculty of Science and Engineering
Funders: ICASE doctoral studentship funding, Siemens Rails Automation