Domaines : Railway


The Vital latching interface system RS4.B.24.0.24 is a latching relay used in Railway wayside applications where an operator command will […]

Baseline 3 ETCS DMI and Programable generic SIL2 platform Railway

This DMI (Display Machine Interface) is a HMI platform 10.4’’ which provides SIL2 display, interaction and computation. It is available […]

Détecteur pneu dégonflé (DRFT)
Deflated tyre detector (DRFT) Railway

Ce détecteur détecte, identifie et avertit de la présence d’un pneu dégonflé.

Dispositif anti-chute
fall protection device 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 […]

Need a custom-made system ?

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