4 June 2026
To operate driverless metros at full capacity, it all starts… with data.
The digital representation of the railway infrastructure creates a true digital twin of the network.. And at this level of precision, a single error can have critical consequences.
It is in this context that SIEMENS Mobility has been using the CLEARSY Data Solver for several years.
This tool automates the validation of CBTC as-built data. – a key factor in ensuring the compliance, safety and reliability of transport systems.
This approach provides SIEMENS Mobility with:
- Significant time savings in validation processes
- Contextualised identification of the most problematic cases for experts to focus on
- A reduction in the risk of human error
- Improved data traceability
A fine illustration of the value of formal methods and automation in the service of critical infrastructure.