Domaines : Railway

Its principle is to prevent the intrusion of people into the gap by putting a physical obstacle between the platform and the dangerous zone in the lower gap.

Atelier B Railway

Atelier B is a tool enabling the operational use of B method. In a coherent environment, it provides many functions […]

Formal analysis and validation of software Railway

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

Entrées/sorties sécuritaires déportées (SATURN)

fail-safe remote i/o (SATURN) SIL2-SIL4 Railway

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

Développement de système critique sur-mesure

Custom made safety critical systems development Railway

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

Commande d’ouverture et la fermeture de façades de quais

System to control platform screen doors (COPPILOT) SIL3-SIL4 Railway

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

Contrôle d’ouverture et de fermeture des façades de quai de la ligne 1 du métro Parisien

System to control platform screen doors (DOF) SIL3-SIL4 Railway

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

ETCS Driver Machine Interface software – SIL2 Railway

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