Welcome

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

Dates

to

Region

Distance


Within of post code (UK Only)

Login for more refinement options

Swindon - Formal Verification of Railway Interlockings

Lecture

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

Location

SWINDON, United Kingdom - icon_popup  (See map)

Organiser

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.


Speaker

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.


Poster

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


Programme

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.

Cost

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.




Register

Are you looking for more events?

You might also be interested in (search more events)

Icon image of speech bubbles

Conference - Mon 25 September 2017 to Tue 26 September 2017

Join the IET and the Institution of Mechanical Engineers on the 25 and 26 September for our specialist conference, specifically catered to the engineering community.