Project Description

ERTMS L2, Suède

Spécification formelle et approbation de la sécurité conforme à CENELEC SIL-4

Dans ce projet, Ansaldo STS fournit les systèmes à pied d’oeuvre pour le projet ESTER, un ERTMS Niveau 2 de Trafikverket, y compris un nouveau système d’enclenchement informatisé. Trafikverket exige que son fournisseur démontre la sécurité des systèmes d’enclenchement en utilisant de la vérification formelle, en se basant sur un ensemble d’exigences de sécurité fournies par Trafikverket. Pour la ligne pilote Haparandabanan dans le nord de la Suède, Ansaldo STS utilise Prover Certifier pour effectuer la vérification formelle de la sécurité et fournir un rapport de vérification de sécurité dans le cadre du dossier de sécurité. La solution technique repose sur:

  • Spécification formelle des exigences de sécurité (sur la base des exigences de Trafikverket, exprimées en langage naturel) et de la configuration du poste d’enclenchement à vérifier
  • Utilisation d’une chaîne d’outils basée sur Prover Certifier qui intègre la traduction du logiciel de l’enclenchement vers un modèle formel et qui vérifie les exigences de sécurité
  • Création d’un rapport de vérification basé sur les résultats de l’analyse afin de constituer une démonstration de la sécurité conforme à CENELEC SIL 4 incluse dans le dossier de sécurité global