CLEARSY will attend the UITP Global Public Transport Summit 2025 in Hamburg Exhibitions/conferences

CLEARSY is pleased to be exhibiting at the UITP Global Public Transport Summit in Barcelona from 15 – 18 June […]

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 RS4 safety relay from CLEARSY: its small size, a major advantage! Component, Safety

CLEARSY’s RS4 safety relays are used to drive the SIL4 “Closed and locked” signal interfaced with the metro platform screen […]

CLEARSY supplies test benches to the Italian company ECM – Progress Rail Component, ERTMS

These benches are used to test industrial equipment such as RBC (Radio Block Centre), interlocking systems and ETCS on-board computers […]

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

Need a custom-made system ?

We are safety software and systems designers.  Contact us and let's discuss your project together!

Contact-us

Filter posts