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

Les efforts conjoints de SIEMENS Mobility et de CLEARSY ont permis de réaliser plusieurs mises en service en 2024 ! Métro (CBTC), Outils, Sûreté de fonctionnement

En effet, CLEARSY est fier d’accompagner Siemens Mobility en participant à l’ensemble des activités du cycle en V du développement […]

CLEARSY s’associe à NEAT pour intégrer l’outil de validation : CLEARSY Data Solver dans l’éditeur de plan de voies D4R::Horizon TrackPlanner editor ! Offres, Outils, Sûreté de fonctionnement

Lors de l’édition d’un plan de voies ferroviaire, un opérateur doit respecter certaines contraintes de sécurité lors du positionnement de […]

L’Atelier B Community Edition 24.04 disponible ! Génie logiciel, Outils

Nous sommes ravis d’annoncer la sortie de notre dernière version de Atelier B. Voici ce qui est nouveau et amélioré […]

Nouvelles formations à la méthode B Génie logiciel, Outils

CLEARSY organise prochainement des formations à la méthode B, en présentiel, dans ses locaux parisiens. Formation de niveau 3 – […]

Un simulateur CLEARSY embarqué pour transformer un train en véritable laboratoire mobile ERTMS, Outils

CLEARSY est fier de partager un contrat avec Digitale Schiene Deutschland pour la fourniture d’un simulateur de bord ETCS afin […]

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié Génie logiciel, Outils, Sûreté de fonctionnement

La maison Blanche met en avant l’usage des méthodes formelles dans un nouveau rapport publié. Trois extraits très intéressants : […]

Renouvellement du partenariat RATP CLEARSY Ferroviaire, Métro (CBTC), Outils, Sûreté de fonctionnement

Nous sommes ravis d’annoncer que CLEARSY a récemment signé un contrat cadre de quatre ans avec la RATP pour la […]