Domaines : Railway
![Système de Contrôle Ponctuel de Vitesse Autonome (KPVA)](https://www.clearsy.com/wp-content/uploads/2020/03/ima-kpva.jpg)
Train overspeed control system It should be noted that 300 beacons of this type are in service on the Paris […]
![CLEARSY Safety Platform](https://www.clearsy.com/wp-content/uploads/2020/07/ima-safetyplatform.jpg)
Computer for academic use: CLEARSY Safety Plateform In addition to the industrial and certified version, The CLEARSY Safety Platform is […]
![Outil de validation formelle de données](https://www.clearsy.com/wp-content/uploads/2020/03/ima-datasolver1-1.jpg)
Documentation & Certification Download CLEARSY Data solver leaflet Certificat EC 9322/02/35 Formal data validation tool In the railways, safety […]
![](https://www.clearsy.com/wp-content/uploads/2024/03/Relais-RS4.jpg)
CLEARSY vital RS4.DIN.202.24V safety relay featuring 2 NO contacts guaranty on opening with a SIL4-level is a success.
![](https://www.clearsy.com/wp-content/uploads/2021/06/COPP-DOF1.png)
CLEARSY has developed several safety critical systems controlling the opening and closing of platform screen doors installed in metro stations.
![](https://www.clearsy.com/wp-content/uploads/2020/03/victor-rodriguez-IiLFMkqiFrM-unsplash-scaled-e1621522685625.jpg)
CLEARSY skills in the detection field (radar, laser, infrared) and railway, allow to realize a lot of new systems for new needs.
![](https://www.clearsy.com/wp-content/uploads/2020/03/porto-e1621610684133.jpg)
Since its creation in 2001, CLEARSY has taken the challenge of using formal methods for the design and buidling of safety critical systems.