Thématiques
![](https://www.clearsy.com/wp-content/uploads/2020/06/hans-peter-gauster-3y1zF4hIPCg-unsplash-e1621521954396.jpg)
CLEARSY investit significativement en R&D dans le domaine de l’ingénierie sécurité, afin de développer de nouveaux outils et valider de […]
![](https://www.clearsy.com/wp-content/uploads/2020/06/consoles-e1621590243623.jpg)
CLEARSY développe des consoles sécuritaires pour répondre à des besoins industriels de contrôle et de visualisation.
![](https://www.clearsy.com/wp-content/uploads/2020/03/julian-hochgesang-3-y9vq8uoxk-unsplash-scaled-e1621522109443.jpg)
Les activités de CLEARSY dans ce secteur concernent essentiellement la sûreté de fonctionnement des logiciels embarqués ainsi que le diagnostic […]
![](https://www.clearsy.com/wp-content/uploads/2020/03/victor-rodriguez-IiLFMkqiFrM-unsplash-scaled-e1621522685625.jpg)
Dans le domaine de l’embarqué et suite à la nouvelle norme STI PMR liée à l’accès des personnes à mobilité […]
![](https://www.clearsy.com/wp-content/uploads/2020/03/porto-e1621523400784.jpg)
Depuis sa création en 2001, CLEARSY a fait le pari d'utiliser les méthodes formelles pour la réalisation de systèmes critiques.
![](https://www.clearsy.com/wp-content/uploads/2021/06/COPP-DOF1.png)
CLEARSY a développé plusieurs systèmes sécuritaires commandant l'ouverture et la fermeture de façades de quai installées dans les stations de métro.
![Méthode B](https://www.clearsy.com/wp-content/uploads/2020/03/Thematique-Methodeb.jpg)
La MÉTHODE B est une méthode de spécification formelle capable de retranscrire de manière rigoureuse les exigences d’un cahier des […]
![](https://www.clearsy.com/wp-content/uploads/2020/03/ima-kfs.png)
Dans le cadre de ses partenariats, CLEARSY développe des systèmes sécuritaires spécifiques, dont notamment des dispositifs permettant le freinage (Freinage […]