Shift2Rail – The Work Package on Formal Methods and Standard Interfaces has Started

Back in March this year I wrote about a work package on formal methods and standard interfaces, led by the Swedish Transport Administration (Trafikverket, and part of the European Shift2Rail (S2R) Joint Undertaking. Since that time, the proposal for the overall project that includes this work package has been submitted and become approved, and the project started [...]