Services

Dans le domaine ferroviaire


CLEARSY investit significativement en R&D dans le domaine de l’ingénierie sécurité, afin de développer de nouveaux outils et valider de nouvelles techniques de modélisation.

Logiciels


Système de gestion de zones de réduction temporaire de vitesse de train

Banc de test implémenté sur Automate Siemens

Vérification de cohérence entre code et spécifications

Protocole de communication sur Automate Siemens

Qualification de systèmes pour le métro sur voie fer MF2000

Modem installé sur le système COPP

Validation logicielle du pilotage automatique embarqué
> Ligne 3
> Ligne 5
> Ligne 13

Raffinement incrémental de modèle événementiel

Processus de vérification formelle des enclenchements informatiques

Système automatique d’exploitation des trains, ligne 1 du métro de Paris

Système de recharge rapide de tramway

Développement d’un CBTC

Développement des logiciels sécuritaires SIL4 des automatismes fixes du futur Val de Roissy

Générateur de fichier binaire de description de voie