Le projet SAET L1 (Système automatique d’exploitation des trains de la ligne 1) s’inscrit dans le projet global d’automatisation complète de la ligne 1 du métro Parisien, à l’image de la ligne 14.
- CLIENT : RATP
- DATE DU PROJET : 2009
- LIEU : Ligne 1, Métro de Paris
La particularité du projet est qu’il doit se dérouler sans arrêt d’exploitation avec une phase de fonctionnement mixte (automatique et manuel) sur une ligne déjà existante.
Le SAET L1 est un CBTC (Communication Based Train Control) contrôlant différents pilotes automatiques et modules de supervision. Ce CBTC est développé en B par Siemens Transportation Systems (identique à la ligne 14).
Nos actions
Les activités réalisées portent sur la partie sécurité du logiciel SIL4 et sont dites de second regard. Elles se composent de :
- L’analyse et la relecture critique des différents modèles B, du code Ada ainsi que des différents documents livrés (dossiers de conception, spécifications, analyses de sécurité, etc),
- La vérification des règles ajoutées dans le cadre de la preuve formelle du logiciel,
- La validation des tests,
- Le rejeu de la preuve formelle réalisée avec l’Atelier B.
Liées à cet référence