Offres : Ferroviaire
![](https://www.clearsy.com/wp-content/uploads/2020/07/nuclear-power-plant-2854866-scaled.jpg)
Les études menées par les experts CLEARSY portent sur des systèmes ou des logiciels ayant des contraintes de sûreté de […]
![Outil de validation formelle de données (DATA Solver)](https://www.clearsy.com/wp-content/uploads/2020/03/ima-datasolver1-1.jpg)
Dans le monde du ferroviaire, les logiciels critiques pour la sécurité sont développés et validés indépendamment des données qui les […]
![](https://www.clearsy.com/wp-content/uploads/2020/07/supervision-e1621605101838.jpg)
L'offre s'appuie sur l'expertise de CLEARSY, sa suite logicielle DAME et sa capacité à sécuriser des interfaces.
![Interface homme-machine DMI ERTMS](https://www.clearsy.com/wp-content/uploads/2020/07/ima-DMI.jpg)
Le DMI ETCS est l’interface entre le conducteur et le système ERTMS/ETCS. Elle permet : l’entrée d’information (identité du conducteur, […]
![Entrées/sorties sécuritaires déportées (SATURN)](https://www.clearsy.com/wp-content/uploads/2020/07/ima-saturn.jpg)
SATURN est une nouvelle plateforme fournissant une solution de sécurité, robuste et offrant une grande disponibilité. Ce produit assurant la […]
![Développement de système critique sur-mesure](https://www.clearsy.com/wp-content/uploads/2020/07/imag-persos.jpg)
Des systèmes sécuritaires adaptés à votre projet CLEARSY est un acteur reconnu dans le domaine du formel et pour la […]
![](https://www.clearsy.com/wp-content/uploads/2020/07/analyse-logiciel-fr-1.png)
CLEARSY propose une méthode d’analyse inédite permettant de faire la preuve mathématique de la conformité de tout ou partie d’un […]
![](https://www.clearsy.com/wp-content/uploads/2021/05/image-default.jpg)
La vérification formelle de système, obtenue avec la méthode B, est un élément de la démonstration de sûreté de fonctionnement d'un système critique.