Thales Deutschland decided to use the open source tool ERTMSFormalSpecs in the context of their ERTMS Baseline 3 onboard unit development process.
With ERTMSFormalSpecs, Thales Deutschland will be able to achieve a disruptive acceleration and cost cutting effect for the testing of their OBU, as well as increase coverage and depth of testing.
