![](https://www.clearsy.com/wp-content/uploads/2023/02/webinaire-data-valid-web-FR-1.jpeg)
CLEARSY vous invite au WEBINAIRE : comment valider les données de paramétrage des logiciels critiques ? Le 23 mars 2023 […]
![](https://www.clearsy.com/wp-content/uploads/2023/01/Protocole-FR-web.jpeg)
Dans la continuité de nos activités dans le domaine de la sécurité incendie, CLEARSY implémente et réalise le protocole sécuritaire […]
![](https://www.clearsy.com/wp-content/uploads/2023/01/ATB-T2-4.7-FR-web.jpeg)
Une version certifiée de l’ATELIER B, l’outil pour la réalisation de la spécification et de la preuve de logiciel sécuritaire […]
![](https://www.clearsy.com/wp-content/uploads/2023/01/formation-B-FR-web-2023.jpeg)
CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]
![](https://www.clearsy.com/wp-content/uploads/2022/12/UIC-FR-web.jpeg)
Les nouvelles technologies ont un impact sur les systèmes de mobilité, et le monde du ferroviaire. Cependant, les normes imposent […]
![](https://www.clearsy.com/wp-content/uploads/2022/11/KIT-CSP-FR-web-1.jpeg)
Le calculateur CLEARSY Safety Platform existe désormais sous forme de kit de démarrage (starter kit), qui permet de prendre en […]
![](https://www.clearsy.com/wp-content/uploads/2022/01/SIG-SIL4-FR-web.jpeg)
CLEARSY sécurise la signalisation de deux sites de maintenance et de remise (SMR) en région parisienne pour le compte de […]
![](https://www.clearsy.com/wp-content/uploads/2021/11/NFPA-FR-web.jpeg)
Une analyse de norme a été réalisée afin de déterminer si le superviseur de système de sécurité incendie (SSI) CLEARSY […]