SAET L1 (Système Automatique d’Exploitation des Trains, Ligne 1) - RATP

Automatisation de la ligne 1 du métro Parisien

Date : 2009
Client : RATP
Lieu : Ligne 1, Métro de Paris

Contexte du Projet

Ligne 14 (Meteor)

Le projet SAET L1 s’inscrit dans le projet global d’automatisation complète de la ligne 1 du métro Parisien, à l’image de la ligne 14. 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.