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

Formal data validation Railway

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

Safety services Nuclear-energy, Railway

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

Système de Contrôle Ponctuel de Vitesse Autonome (KPVA)

Signal Crossing Prevention System (Automatic Train Stop, ATS): KFS SIL2 system Railway

This is a signal crossing control system (a signal such as a red light, for example), an ATS, which comprises […]

ERTMS/ETCS Operational Simulator Railway

The ERTMS/ETCS Operational Simulator is a real time simulation demonstrating how trains can be run on tracks under ERTMS/ETCS supervision. […]