- Client : Siemens
Contexte du projet
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.
Français
English 
