Thales Deutschland chooses ERTMSFormalSpecs to test braking curves
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.
Christian Wallner, Product Strategy Train Control at Thales Deutschland: “ERTMS Solutions has demonstrated the usefulness of their tool, ERTMSFormalSpecs, and the quality of their service. Their expertise in braking curves is another major element, which convinced us to sign this contract with them. We are convinced that ERTMSFormalSpecs will boost our OBU testing process, provide us large costs and time savings, and increase the transparency of our testing process, towards our ERTMS customers.
Stanislas Pinte, Managing Director ERTMS Solutions: “This contract is a critical step for ERTMS Solutions, as Thales Deutschland is the first ERTMS onboard manufacturer which will officially use ERTMSFormalSpecs.With this contract, we are proud to help the industry achieve time and cost savings, and at the same time increase the quality of testing for the most critical component inside the ERTMS onboard unit systems: the computation of the braking curves.”
