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

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

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

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

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

CLEARSY is actively involved in the T1 tramway project, which will connect Lausanne to Renens in 2026, bringing its expertise […]

CLEARSY has designed a platform screen door control system for the Brisbane Metro, an evolution of the DOF system initially […]