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 […]
CLEARSY participe activement au projet du tramway T1 qui reliera Lausanne à Renens en 2026, en apportant son expertise dans […]
CLEARSY a conçu un système de contrôle-commande des portes palières pour le métro de Brisbane, une évolution du système DOF […]
CLEARSY a été sélectionné pour fournir sa dernière version du DMI certifié SIL2 à ASELSAN, dans le cadre de la […]
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 […]
L’Atelier B vient de franchir pour la première fois la barre des 10 000 téléchargements annuels. La rentrée universitaire 2024 a […]
Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !