2 May 2025
We’re excited to announce that the latest version of the CLEARSY Data Solver has successfully renewed its T2 for SIL4 certification by Certifer!
Designed for safety-critical railway systems, the CLEARSY Data Solver enables the formal validation of topological data and configuration parameters in complex projects such as CBTC and ERTMS.
This new release introduces major enhancements that improve both performance and usability, reinforcing our commitment to robust and reliable data validation in the railway and transportation industries.
What’s new?
- Boosted performance for complex rule evaluation
We’ve implemented parallel and reusable computation mechanisms, significantly accelerating rule processing—especially for large data volumes and complex logic.
- Multi-language display of non-conformities
Non-conformities can now be displayed in multiple languages. Perfect for international projects and diverse teams.
- Improved ETCS data validation
New built-in ETCS modules make it easier to validate ETCS balise telegrams and other critical data formats used in railway systems.
This update reinforces our commitment to delivering certified, adaptable, and high-performance tools for formal data validation in railway and safety-critical systems.