Archives des Tools

CLEARSY works to improve the mathematical demonstration tools of Atelier B Computer science, Offers, R&D, Sûreté de fonctionnement, Tools

As part of a project funded by the French National Research Agency (ANR), CLEARSY is collaborating with LORIA (Nancy), CRIL […]

CLEARSY-HITACHI framework agreement for new simulation solutions ERTMS, Offers, Railway, Tools

CLEARSY and Hitachi Rail have signed a framework agreement to support the development of European rail infrastructure through high-level simulation […]

CLEARSY Safety Platform, a computer for the safe control of equipments Component, Railway, Sûreté de fonctionnement, Tools

CLEARSY Safety Platform, a computer for the safe control of equipments. In 2021, CLEARSY pass the certification of its SIL4 […]

The B WORKBOOK is now available Computer science, R&D, Sûreté de fonctionnement, Tools

The user manual for B Method, the B WORKBOOK, is now available on CLEARSY’s GitHub: (https://github.com/CLEARSY/BWORKBOOK). After several months of […]

Safety is not an option: it is a requirement Offers, Railway, Safety, Tools

Safety is not an option: it is a requirement. French railway operator RATP has once again demonstrated this by choosing […]

T2-certified custom tools for SIL4 safety applications ERTMS, Metro (CBTC), Offers, Railway, Safety, Tools

As part of the deployment of the European Train Control System (ETCS Level 2) on a high-speed line, CLEARSY is […]

CLEARSY supplies Hitachi Rail with its SIL4 safety network Component, Railway, Tools

Hitachi Rail works with CLEARSY, which supplies a SIL4 input/output safety network developed in France. This technology enhances the safety […]

New T2 for SIL4-Certified Version of the CLEARSY Data Solver – Now Even More Powerful! Offers, Tools

We’re excited to announce that the latest version of the CLEARSY Data Solver has successfully renewed its T2 for SIL4 […]