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

Jonction et séparation des trains ERTMS sur le simulateur de train CLEARSY ERTMS ERTMS, Outils

Transformer le transport ferroviaire avec les fonctionnalités avancées de la TVS ! Hitachi rail et CLEARSY sont fiers de présenter […]

CLEARSY renforce la sécurité ferroviaire en Corse avec un simulateur de signalisation avancé ERTMS, Offres, Outils

CLEARSY vient de livrer un simulateur de signalisation ferroviaire pour le projet Commande Centralisée de la Voie Unique (CCVU) Corse, […]

Prolongement de la Ligne 14 du Métro Parisien : plus de 25 Ans de fiabilité grâce à la méthode formelle B Génie logiciel, Offres, Outils, Sûreté de fonctionnement

« Grace à la méthode B, pari tenu pour Meteor » … « Je n’avais jamais vu cela, le logiciel a été quasi […]