
Nous sommes heureux d’annoncer que la dernière version du solveur de données CLEARSY (CLEARSY DATA SOLVER) a renouvelé avec succès […]

Nous avons le plaisir de présenter la feuille de route 2025 de l’Atelier B, le premier IDE pour développer des […]

CLEARSY présente le CLEARSY SAFETY CONTROLLER, un calculateur de sécurité SIL4 ready, basé sur la CLEARSY SAFETY PLATFORM certifiée SIL4 […]

Deux laboratoires du système européen de contrôle des trains (ETCS) sont utilisés depuis 2024 en Allemagne, à Munich et à […]

L’activité de preuve formelle système consiste à exprimer mathématiquement les propriétés globales par lesquelles la sécurité du système est garantie […]

Félicitations à Alstom pour la mise en service du système Urbalis Fluence sur la ligne 1 du métro de Lille […]

L’Atelier B a été conçu par CLEARSY pour produire des logiciels sûrs, zéro défaut et conformes à leurs spécifications. Sa […]

Après plus d’une décennie de collaboration en recherche et développement, CLEARSY et l’UFRN signent un accord de coopération pour permettre […]