Doc Frank chats with a double act from Stockholm, Sweden – Andreas Mårtensson and Gunnar Smith. They have spent many years populating “Formal Methods” for the benefits of diverse railway signalling systems and technology generations in Stockholm. It is impressive to learn about the great potential benefits of Formal Methods for a railway organisation, not just for improving the quality of project delivery but also for conservation of legacy knowledge which may otherwise get lost through retirement of aged experts.

Show notes for better understanding:

1) Information about training courses for advanced signalling technologies that are proven to work for railway professionals regardless of their prior extent of signalling knowledge, including the CBTC Kickstarter and ETCS Kickstarter trainings, can be found on https://docfranktraining.podia.com. 

2) Otherwise, the interview is rather self-explanatory and very instructive.