IFIP Logo
Sign in for Members and Observers

IFIP WG1.3 Foundations of System Specification


Talk "A Journey in Technology Transfer & Developing a Verification Tool for Railway Interlockings"

by Markus Roggenbach

Thu, 08 February 2024 at 10:00 am in Salzburg, Austria

Joint work with: Phillip James, Faron Moller

Abstract: We report and reflect on successful technology transfer from Swansea University to Siemens Mobility over the years 2007–2022. This transfer concerns formal software verification technology for interlocking computers. It spans over Technology Readiness Levels TRL 1-7 and was reported on in two REF Impact Case Studies, in 2014 and 2021.

Slides
Paper