Offres : Ferroviaire

Les études menées par les experts CLEARSY portent sur des systèmes ou des logiciels ayant des contraintes de sûreté de […]

Dans le monde du ferroviaire, les logiciels critiques pour la sécurité sont développés et validés indépendamment des données qui les […]

L'offre s'appuie sur l'expertise de CLEARSY, sa suite logicielle DAME et sa capacité à sécuriser des interfaces.

Le DMI ETCS est l’interface entre le conducteur et le système ERTMS/ETCS. Elle permet : l’entrée d’information (identité du conducteur, […]

SATURN est une nouvelle plateforme fournissant une solution de sécurité, robuste et offrant une grande disponibilité. Ce produit assurant la […]

Des systèmes sécuritaires adaptés à votre projet CLEARSY est un acteur reconnu dans le domaine du formel et pour la […]

CLEARSY propose une méthode d’analyse inédite permettant de faire la preuve mathématique de la conformité de tout ou partie d’un […]

La vérification formelle de système, obtenue avec la méthode B, est un élément de la démonstration de sûreté de fonctionnement d'un système critique.