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
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...
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 |