The B WORKBOOK is now available
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 […]

Atelier B T2 Certified Edition now available for purchase Computer science, Tools

We are pleased to present the 2025 roadmap for Atelier B, the premier IDE for the B-method and Event-B! This […]

The new reference SIL4 safety system development platform R&D, Safety, Tools

CLEARSY presents the CLEARSY SAFETY CONTROLLER, a SIL4 ready safety controller based on the CLEARSY SAFETY PLATFORM, which has been […]

CLEARSY’s ETCS simulation tool in use in Germany Component, ERTMS, Offers, Railway, Tools

Two European Train Control System (ETCS) laboratories have been in use since 2024 in Germany, in Munich and Dresden, by […]