Nouvelle formation : pourquoi utiliser une méthode formelle pour réaliser des systèmes sûrs ? 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 […]

CLEARSY fournit à Hitachi Rail son réseau sécuritaire SIL4 Composant, Ferroviaire, Outils, Sûreté de fonctionnement

Hitachi Rail collabore avec CLEARSY, qui fournit un réseau sécuritaire SIL4 d’entrées/sorties développé en France. Cette technologie renforce la sécurité […]

Nouvelle version du solveur de données CLEARSY certifiée T2 for SIL4 – encore plus efficace ! Offres, Outils, Sûreté de fonctionnement

Nous sommes heureux d’annoncer que la dernière version du solveur de données CLEARSY (CLEARSY DATA SOLVER) a renouvelé avec succès […]

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