Analyse des logiciels critiques du CBTC ligne1

RATP

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.
Thématiques
Liées à cet référence

Besoin d'un système sur-mesure ?

Nous sommes des créateurs de logiciels et de systèmes sécuritaires. Conçus et fabriqués en France. Contactez-nous et discutons ensemble de votre projet !