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.