Project Abstract

Modelling a section of a UK railway to compare the current implementation of train protection systems (AWS/TPWS) to a newer implementation currently mostly used in high speed lines in Europe (ERTMS) using Real Time Maude and comment on how different modelling decisions affect the final product. While ERTMS and other products depending on it would benefit from being used in the commuter lines for faster line speeds, more trains in the line,etc.. the benefit for current long distance journeys in the UK is reduced.

Keywords: Modelling, Railway Systems,

 Conference Details

Session: Poster Session A at Poster Stand 52

Location: Sir Stanley Clarke Auditorium at Tuesday 7th 13:30 – 17:00

Markers: Fabio Caraffini, Arno Pauly

Course: BSc Computer Science, 3rd Year

Future Plans: I’m looking for work