L’objectif de ce projet R&D est d’industrialiser les précédents projets Siemens 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.
Liées à cet référence
