Project Description

Métro léger, Stockholm

Réduction du délai de mise sur la marché pour le développement et la validation du logiciel spécifique des systèmes d’enclenchement

Dans le cadre de ce projet, Prover Technology a fourni à GE un logiciel d’enclenchement clé en main. L’objectif était de réduire le temps nécessaire au développement, à la validation et à la vérification du logiciel d’enclenchement pour la dizaine de systèmes de la ligne de métro léger entre Solna et Sickla, dans le centre-ville de Stockholm. GE était responsable de la définition des principes de signalisation et Prover a fourni un logiciel d’enclenchement basé sur la formalisation de ces principes et sur l’utilisation de la suite d’outils logiciels Prover iLock pour la génération de chaque application et sa vérification.

Au cours du projet, le client a décidé de remplacer la plate-forme matérielle par une nouvelle plate-forme appelée Tempo. Puisque la suite Prover iLock n’est liée à aucune langue cible, il était facile de prendre en charge la nouvelle cible Tempo.

La solution utilisée par Prover Technology repose sur:

  • La formalisation des principes de signalisation fournis par GE.
  • L’utilisation de Prover iLock pour la génération et la vérification de chaque enclenchement.
  • La vérification de sécurité basée sur Prover Certifier. L’outil de validation pour Tempo permet de vérifier de manière indépendante que le code Tempo utilisé pour la mise en service, y compris son image binaire compilée, répond aux exigences de sécurité.

La première mise en service des nouveaux systèmes d’enclenchement sur Tvärbanan a eu lieu en 2013.