L’Atelier B T2 Certified Edition maintenant disponible à l’achat Génie logiciel, Outils, R&D

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

La nouvelle plateforme de développement de système de sécurité SIL4 de référence Outils, R&D, Sûreté de fonctionnement

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

Le simulateur ETCS de CLEARSY est opérationnel en Allemagne ERTMS, Ferroviaire, Offres, Outils

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

Une première mondiale, les raisonnements de sécurité des systèmes, formellement prouvés T2 EN50129 SIL4 Génie logiciel, Offres, Outils, Sûreté de fonctionnement

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

Nouveau pilote automatique du métro de Lille en service Ferroviaire, Métro (CBTC), Outils, Sûreté de fonctionnement

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

Certification T2 pour l’Atelier B Génie logiciel, Outils, Sûreté de fonctionnement

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

CLEARSY et l’UFRN concluent un accord de coopération pour promouvoir des stages internationaux Génie logiciel, Outils, R&D

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’outil de développement formel ATELIER B franchit la barre des 10000 téléchargements ! Composant, Génie logiciel, Outils, R&D

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