Offers : Railway

CLEARSY proposes a new innovative analysis approach to establish with mathematical proof that all or part of a software are […]

SATURN is a new platform featuring high-robustness and availability for safety solutions. Easy to configure and efficient as a railway […]

Safety systems adapted to your project CLEARSY is a major player recognized in the field of formal methods for the […]

COPPILOT is a safety critical railway system, which controls the opening and closing of platform screen doors at a metro […]

In the context of the “Paris Subway Line 1 Automation” project, the SIL3 DOF safety system, which is independent from […]

The ETCS DMI is the interface between the driver and the ERTMS/ETCS system. It allows: the entry of information (driver […]

In the railways, safety critical software applications are usually developed and validated independently from the parameters or constant data that […]

The principal techniques used by CLEARSY consultants to conduct safety analyses are: safety analysis & safety demonstration and analysis. CLEARSY […]