Project Description

Gare centrale de Stockholm

Vérification formelle pour améliorer l’évaluation de la sécurité

Les postes d’enclenchement de la gare centrale de Stockholm et des environs sont basés sur la technologie des relais électromécaniques. Les chemins de fer suédois exigent que les modifications apportées à ces systèmes d’enclenchement soient vérifiées par une vérification formelle («maskingranskning»), car ils font partie des systèmes d’enclenchement les plus complexes installés en Suède et sont trop complexes pour être vérifiés à l’aide des méthodes traditionnelles. Beaucoup de modifications majeures ont été apportées à ces systèmes afin d’accroître la capacité de trafic dans le centre-ville de Stockholm.

Dans le cadre de ce projet en 2014-2015, le cabinet de conseil ÅF a mis à jour le système de verrouillage de Karlberg, qui se connecte au nouveau tunnel de 6 km de long doté de quais sous la gare centrale de Stockholm, ainsi qu’à l’ancienne partie de la gare centrale. Le projet a consisté à vérifier la sécurité de l’enclenchement, incluant les parties modifiées et non modifiées. Le projet a également pu montrer que certains modèles de conception ont bien été suivis.

La vérification formelle de ce type d’enclenchement à relais est basée sur :

  • Des exigences de sécurité génériques et des exigences spécifiques dans les tableaux de configuration et les schémas de signalisation.
  • Prover Extractor pour extraire un modèle formel, pour la vérification, à partir de schémas à relais et Prover iLock Verifier pour une vérification formelle de la sécurité.
  • La boîte à outils Cst contenant des modèles, une base de données de relais et une bibliothèque d’éléments de schémas.