Formal Modelling and Analysis of Real Time Systems

MSc by Research in Theoretical Computer Science

Swansea Science Doctoral Training Centre Scholarship 2017/2018:  MSc by Research in Theoretical Computer Science

Project Title:  Formal Modelling and Analysis of Real Time Systems

Project Supervisors:

Closing date for applications: 15.12.2017

Project description:

This project is suitable for candidates interested in Formal Methods and working together with an industrial company.

The ERTMS Train Control System is a state-of-the-art system designed as a standard for railways across Europe. While the ERTMS standard details the interactions between trains and track equipment (e.g., in order to obtain concise train position information) and a radio block centre and trains (e.g., to hand out movement authorities), the details of how the controller, the interlocking and the radio block centre interact with each other are left to the suppliers of signalling solutions. 

ERTMS is a hybrid system, i.e., system evolution involves discrete as well as continuous steps. Such systems can be modelled and analysed within the Uppaal framework, see 

In close collaboration with Siemens Rail Automation, Chippenham, UK, the successful candidate shall develop and analyze a model of ERTMS in UPPAAL. The main focus of the project will be on safety properties such as “no two trains will ever collide”. Questions of capacity, i.e., how many trains can operate within a rail network within a given time frame, shall be addressed as well. 


Candidates must have a first or an upper second class honours BSc degree in Computer Science or in a relevant discipline.  Good knowledge in Formal Methods and / or Theoretical Computer Science are required.

For candidates whose first language is not English, we require IELTS 6.5 (with 6.0 in each component) or equivalent. Please visit our website for a list of acceptable English language tests.

Informal enquiries before the deadline for formal applications are welcome by emailing Prof Markus Roggenbach ( 


This is a one year scholarship, open to UK/EU candidates, which covers the full UK/EU tuition fees and includes a living allowance of £10,000. 

How to apply:

Applicants must complete and submit the following documentation by the stated deadline.

To apply for this studentship, please download the research scholarship application form ‌and return it to the College of Science with the following:

  • Academic References – all scholarship applications require two supporting references to be submitted. Please ensure that your chosen referees are aware of the funding deadline, as their references form a vital part of the evaluation process. Please either include these with your scholarship application or ask your referees to send them directly to
  • Academic Transcripts and Degree Certificates – academic transcripts and degree certificates must be submitted along with the scholarship application by the funding deadline. We will be using these to verify your academic qualifications. 
  • A recent CV

Applicants should use the ‘Supplementary Personal Statement’ section of the application form to explain why the award they are applying for particularly matches their skills and experience and how they would choose to develop the project.

Please email the documents to or post them to:

Recruitment and Marketing Team
College of Science
Wallace Building
Swansea University
Singleton Park
Swansea SA2 8PP