Number of scholarships to award
- tuition fee reduction
Interlocking computers provide a safety layer within railway signalling. They are often programmed in Ladder Logic, which is one of the standard languages IEC standardises for Programming Logic Controllers. In close collaboration with the Swansea Railway Verification Group, Siemens has developed an automated Verification Framework that allows to verify if a Ladder Logic program for an Interlocking Computer satisfies safety properties. Such safety properties arise from rail standards and test objectives. Currently, Siemens has a library of about 300 safety properties. The central question on this library is: how good is it actually in catching mistakes?
This project shall apply methods from fuzzy testing in order to provide first answers to these questions. One approach will be to inject `targeted’ mistakes, i.e., we change a program in such a way that a property does not hold. Another approach is to apply `modification’ operators to a program, e.g., we randomly change a logical ``and ’’ for a logical `` or ’’, or add a negation. In both scenarios the question is: does verifying the modified program against the whole library of safety properties flag that a property does not hold?
Outcome of the project will be insights on the `stability’ of ladder logic programs and the `completeness’ of the current library of safety properties.
This scholarship covers the full cost of UK tuition fees and a stipend of £9,600.
Additional research expenses will also be available.
- Candidates must hold an Upper Second Class (2.1) honours degree. If you are eligible to apply for the scholarship (i.e. a student who is eligible to pay the UK rate of tuition fees) but do not hold a UK degree, you can check our comparison entry requirements.
- Due to funding restrictions, this scholarship is not open to applications from international students (unless eligible to pay UK tuition fee rates as defined by UKCISA regulations).
Study experience required
To apply, please complete your application online with the following information:
Course choice – please select Logic and Computation / MRes / Full-time / 1 Year / October
Start year – please select 2023
Funding (page 8) –
‘Are you funding your studies yourself?’ – please select No
‘Name of Individual or organisation providing funds for study’ – please enter ‘RS428 - Comp Sci MRes’
*It is the responsibility of the applicant to list the above information accurately when applying, please note that applications received without the above information listed will not be considered for the scholarship award.
One application is required per individual Swansea University led research scholarship award; applications cannot be considered listing multiple Swansea University led research scholarship awards.
Interested in financing your studies? Find a student loan that works for you.
DISCLAIMER – Subject to credit approval, loans are made by Bank of Lake Mills or MPOWER Financing, PBC. Bank of Lake Mills does not have an ownership interest in MPOWER Financing. Neither MPOWER Financing nor Bank of Lake Mills is affiliated with the school you attended or are attending. Bank of Lake Mills is Member FDIC. None of the information contained in this website constitutes a recommendation, solicitation or offer by MPOWER Financing or its affiliates to buy or sell any securities or other financial instruments or other assets or provide any investment advice or service. 2022 © MPOWER Financing, Public Benefit Corporation NMLS ID #1233542. 1101 Connecticut Ave NW Suite 900, Washington, DC 20036
© Prodigy Finance Limited 2007 - 2022. All Rights Reserved. Prodigy Finance Limited is incorporated in the United Kingdom (Company Number 05912562) with its registered address at 85 Great Portland Street, London, W1W 7LT and registered with the Office of the Information Commissioner (Reg. No. Z9851854). Prodigy Finance is authorised and regulated by the Financial Conduct Authority (firm registration number 709641) for certain consumer credit activities. Prodigy Finance loans are offered to eligible borrowers and these loans are governed by English law.