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 […]

A world first: system safety reasoning is T2 EN50129 SIL4 formally proven Computer science, Offers, Safety, Tools

The activity of formal system proof consists in mathematically expressing the global properties by which system safety is guaranteed, and […]

New Lille driverless metro in service Metro (CBTC), Railway, Safety, Tools

Congratulations to Alstom on the commissioning of the Urbalis Fluence system on line 1 of the Lille metro! At CLEARSY, […]

T2 certification for Atelier B Computer science, Safety, Tools

Atelier B was designed by CLEARSY to produce safe, zero-defect software that complies with its specifications. What makes it special? […]