![Tramway de Nice dispositif KFS](https://www.clearsy.com/wp-content/uploads/2019/10/Actu-Nice-FR-WP-1-1.png)
Nice tramway: the CLEARSY automatic train stop system limits the emergency braking rate to the minimum required level. A new […]
![third world congress on formal methods Porto](https://www.clearsy.com/wp-content/uploads/2019/10/Porto-site-FR-1.png)
CLEARSY attends the third world congress on formal methods: FM’19 from 7 ou 10 october 2019. CLEARSY presents 2 papers: […]
![CLEARSY Safety Platform handbook](https://www.clearsy.com/wp-content/uploads/2019/07/cssp-handbook-1.jpg)
The first release of the CLEARSY Safety Platform is avaliable for download. It will be enriched every month with new […]
![Atelier CLEARSY Safety Platform](https://www.clearsy.com/wp-content/uploads/2019/07/atelier-cssp-1.jpg)
The CLEARSY Safety Platform IDE is available for download only for SK0 board owners. It is the first public version […]
![RS4 SCK-CEN](https://www.clearsy.com/wp-content/uploads/2019/07/RS4-SCK-CEN-WP-FR-1.png)
After its successful deployment in the railroad, the CLEARSY RS4 safety relay makes its debut in the nuclear power industry […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/IMG_1164.jpg)
The 18th edition of AFADL days (Approches Formelles dans l’Assistance au Développement Logiciel in french or Formal approaches to support […]
![](https://www.clearsy.com/wp-content/uploads/2021/06/web-uitp-850-325.jpg)
CLEARSY, a French company of 140 employees, designs and produces certified safe systems and software applications for urban and main-line […]
![CSSP présentée à la conférence RSSR 201](https://www.clearsy.com/wp-content/uploads/2019/06/rssr-lille.jpg)
At the occasion of the conference RSSR 2019 held on 4-6 June 2019 in Lille, CLEARSY presents the paper entitled […]