CLEARSY entre dans le programme MISTRAL NG de SNCF Réseau. En effet, la société ATOS – en charge du développement […]

Tramway de Nice : le dispositif d’arrêt automatique des trains de CLEARSY limite les freinages d’urgence au strict nécessaire. KFS le […]

CLEARSY participe au troisième congrès mondial sur les méthodes formelles: FM’19 du 7 au 10 octobre 2019. CLEARSY y fais […]

La première version du CLEARSY Safety Platform Handbook est disponible au téléchargement. Il sera enrichi chaque mois avec de nouveaux […]

L’environnement de développement logiciel de la CLEARSY Safety Platform est disponible au téléchargement pour les possesseurs d’une carte SK0. Il […]

Après sa diffusion réussie dans le ferroviaire, Le relais de sécurité RS4 de CLEARSY perce le nucléaire et passe avec […]

CLEARSY en charge du Report de Signalisation et de Commandes pour la RATP Le projet SYMPHONIE SSI vise à doter la RATP […]

Les dix-huitièmes journées AFADL (Approches Formelles dans l’Assistance au Développement Logiciel) se tiendront du 11 au 14 juin 2019 à […]