Services ferroviaires

Trainguard CBTC


L’objectif de ce projet R&D est d’industrialiser les précédents projets STS afin de pouvoir fournir rapidement des systèmes de contrôle de métro automatique ou semi-automatique (Système CBTC).

Trainguard CBTC


Client


> CLIENT : Siemens

Contexte


> L’objectif de ce projet R&D est d’industrialiser les précédents projets STS afin de pouvoir fournir rapidement des systèmes de contrôle de métro automatique ou semi-automatique (Système CBTC). Le produit bénéficie de l’expérience et des compétences de STS, comme l’utilisation de la méthode B et du processeur sécuritaire codé (PSCà.

Pour chaque client, le produit est complété par une partie spécifique propre aux caractéristiques client (Ouragan à Paris, Alger…).

Réalisations de Clearsy


DÉVELOPPEMENT / RÉ-INGÉNIERIE DE LA PARTIE SÉCURITAIRE DES LOGICIELS EMBARQUÉS AU BORD ET AU SOL
> Utilisation de la méthode B
> Technique de raffinement automatique
> Développement en Ada-PSC
> Intégration sur plateforme matérielle (VxWorks)

Résultats


Une première version du produit (V0.1) est utilisée pour Ouragan pour des tests (En cours) d’interopérabilité de la messagerie bord-sol avec d’autres fournisseurs (CSEE, Technicatome). Une version plus fonctionnelle (V0.2) est sur le point de s’achever.