Refine search results

All    Any    Exact phrase

Search hint

All - search for events containing all entered keywords

Any - search for events containing any, some, or all of the entered keywords

Exact phrase - search for events where keywords appear exactly as entered





Within of post code (UK Only)

Login for more refinement options

Swindon - Formal Verification of Railway Interlockings


Image of three blue heads in profile on grey background

Andrew Lawrence of Siemens Rail Automation will introduce formal methods and describe how they are applied to give the assurance that railway interlockings provide safe separation of trains.

Date and Time

10 October 2017 - 18:30-20:30


SWINDON, United Kingdom - icon_popup  (See map)


Organised by the UK - SW:Swindon local network.

About this event

Formal methods are a collection of techniques, with mathematical foundations, that aid the specification, development and verification of computer systems and programs. Formal verification takes a requirement expressed in formal logic, a system as a formal model, and uses a software program to automatically check that the system satisfies the requirement.

In the railway domain, computer based interlockings, used to enforce signalling rules (e.g. safe separation) are a prime candidate for formal verification. If the interlocking is incorrect, then there is the potential for an accident to occur, and for people’s lives to be lost.

This talk is based on research carried out by the author while studying as a student at Swansea University, in collaboration with Siemens Rail Automation and discusses further options to maximise the potential of this work.


Dr Andrew Lawrence, BSc MRes PhD (Computer Science)

The author currently works as a software engineer developing software for train control systems. Previously the author studied for an MRes and PhD at Swansea University and performed research into the formal verification of train control systems.


We would encourage you to download and display this poster to people who may be interested in this event, thank you.


18:30 Light Refreshments
19:00 Lecture Starts
20:30 Close

Continuing Professional Development

CPD logo declaring this event can contribute 2 hours towards your Continuing Professional Development

This event can contribute towards your Continuing Professional Development (CPD) as part of the IET's CPD monitoring scheme.


Free of charge.

Additional information

Joint IET & IMechE event hosted by the IET.
Exempt from car parking fee if you display the registration confirmation email in your car.

The general public are welcome to attend this event.

Registration information

IET members and the public please register on the IET Swindon web site as usual.


Are you looking for more events?

You might also be interested in (search more events)

Icon image of speech bubbles

Conference - Mon 4 December 2017 to Tue 5 December 2017

Following from the success of ISP 2013 & 2015, the conference presents a new opportunity for you to exchange and share your latest work in Intelligent Signal Processing with leading academic and industrial engineers and researchers.