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 […]

CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]

Les nouvelles technologies ont un impact sur les systèmes de mobilité, et le monde du ferroviaire. Cependant, les normes imposent […]

Le calculateur CLEARSY Safety Platform existe désormais sous forme de kit de démarrage (starter kit), qui permet de prendre en […]

CLEARSY sécurise la signalisation de deux sites de maintenance et de remise (SMR) en région parisienne pour le compte de […]

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 […]

Le laboratoire LabSoC de Télécom Paris et CLEARSY s’associent pendant 2 ans pour intégrer la gestion des menaces en cybersécurité dans […]

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 […]