Offres
![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.
![Développement de logiciels critiques](https://www.clearsy.com/wp-content/uploads/2020/07/clearsy-inge.jpg)
Des logiciels fiables développés à l’aide des méthodes formelles CLEARSY innove en matière de réalisation au forfait de logiciels, par […]
![Services ERTMS/ETCS](https://www.clearsy.com/wp-content/uploads/2020/07/ertms-etcs-ersa-clearsy.jpg)
20 années de travail continu dans ce domaine nous ont permis d’acquérir une expertise unique qui est largement reconnue dans […]
![Comble lacune (CACOLAC)](https://www.clearsy.com/wp-content/uploads/2020/07/schema-cacolac.jpg)
Le Système de contrôle de marche mobile (ou comble lacune) se nomme CACOLAC.C’est un dispositif ayant pour vocation de pouvoir […]
![Détection d’individus dans les lacunes (DIL)](https://www.clearsy.com/wp-content/uploads/2020/07/ima-dil.jpg)
CLEARSY est maitre d’œuvre dans la conception, la fourniture et le déploiement du système de détection d’individus dans les lacunes […]