Premières dates de formation à la méthodes B 2024 Génie logiciel, Outils

CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]

La version 4 des spécifications ETCS vient de paraître ERTMS, Ferroviaire, Génie logiciel, Outils

Une nouvelle version de la spécification du système de contrôle de la marche des trains européens standardisé (ETCS) vient de […]

Le système CLEARSY de surveillance des portes palières du métro d’Honolulu est en service Ferroviaire, Métro (CBTC), Outils

Le métro de Honolulu est équipé de portes palières STANLEY qui sont contrôlées par le système de pilotage automatique de […]

HACKATHON CLEARSY Safety Platform à l’université IMD/UFRN à NATAL au BRESIL Génie logiciel, Outils, Sûreté de fonctionnement

Pendant une semaine, les étudiants de l’UFRN vont s’affronter sur plusieurs défis impliquant la modélisation en B et les applications […]

De nouvelles formations à la méthode B Outils

CLEARSY est leader depuis plus de 20 ans dans l’application de la méthode formelle B, utilisée pour valider mathématiquement les […]

Le nouveau poste de commande centralisé Siemens sécurisé par CLEARSY Ferroviaire, Outils, Sécurité Incendie, Sûreté de fonctionnement

SIEMENS a confié à CLEARSY la sécurisation SIL2 de l’affichage de la supervision du nouveau système d’exploitation des trains RER […]

Atelier B Professional Edition 23.02 is now available Offres, Outils

“Atelier B Professional Edition 23.02” is now available on Windows and Linux for all current maintenance contract holders. https://www.atelierb.eu/en/atelier-b-professional-edition-23-02-copy/

comment valider les données de paramétrage des logiciels critiques ? Ferroviaire, Outils, Salons/conférences, Sûreté de fonctionnement

CLEARSY vous invite au WEBINAIRE : comment valider les données de paramétrage des logiciels critiques ? Le 23 mars 2023 […]