Domaines : Ferroviaire

Outil de validation formelle de données (DATA Solver)
Validation formelle de données Ferroviaire

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

Aide à la maintenance, supervision Énergie/nucléaire, Ferroviaire

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

Interface homme-machine DMI ERTMS
Logiciel Interface homme-machine DMI ERTMS SIL2 Ferroviaire

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

Entrées/sorties sécuritaires déportées (SATURN)
Entrées/sorties sécuritaires déportées (SATURN) SIL2-SIL4 Ferroviaire

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

Développement de système critique sur-mesure
Développement de système critique sur-mesure Ferroviaire

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

Analyse et validation formelle de logiciels Ferroviaire

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

Validation formelle système Ferroviaire

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. 

Gamme de Relais de sécurité SIL4 Énergie/nucléaire, Ferroviaire

Destiné à un usage au sol, le relais RS4.DIN.202.24V dispose d’une entrée postes et d’une entrée lignes.

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !