Services

ACSES

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

BANC DE TEST UNITAIRE

Banc de test implémenté sur Automate Siemens

BSVR

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

DIGISAFE

Protocole de communication sur Automate Siemens

MF2000

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

MODEM B

Modem installé sur le système COPP

OURAGAN

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

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

PMI L1

Processus de vérification formelle des enclenchements informatiques

SAET L1

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

SRRT

Système de recharge rapide de tramway

TRAINGUARD CBTC

Développement d’un CBTC

URBALIS EVOLUTION

Pilote automatique
> Métro de Pékin
> Métro de São Paulo
> VESG

VAL DE ROISSY

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

VESG

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

ERTMS / ETCS

Produits, outils et expertise :
> Produits et outils ERTMS/ETCS
> Services ERTMS/ETCS