Réferences

Nous avons fourni avec succès des solutions d’automatisation de la conception de la signalisation à l’industrie ferroviaire du monde entier

Exemples de déploiements mondiaux des solutions de Prover

Prover a fourni avec succès des solutions pour l’automatisation de la conception de signalisation aux gestionnaires d’infrastructure ferroviaire du monde entier, notamment les métros de Paris, New York et Stockholm, les chemins de fer de fret au Canada, les grandes lignes de chemin de fer en Suède et en Chine, et les chemins de fer légers / banlieues à New York et Stockholm. . Voici des exemples de déploiement des solutions d’automatisation de la conception de signalisation de Prover.

Les projets proposés vont des solutions complètes de Prover Trident à la fourniture d’outils de vérification formelle, de vérification dans le cadre d’une certification CENELEC SIL-4, de simulation et de génération de cahier de tests. L’offre de Prover couvre tous les aspects de l’automatisation de la conception de la signalisation.

Vous trouverez ci-dessous la présentation de certains projets dans lesquels des solutions de Prover ont été déployées. Ces examples indiquent le but des projets, l’environnement cible et les solutions fournies.

2019-06-26T12:44:36+01:00

RATP, Paris

Dans le cadre de ce projet, Prover a collaboré avec la RATP pour créer une solution de vérification formelle répondant à la demande de la RATP en matière de vérification de la sécurité du logiciel des enclenchements.

2019-06-26T12:39:45+01:00

Canadian Pacific

Chemin de fer de fret, de classe I, Canadien Pacifique (CP) augmente la capacité et la cohérence de la conception et du test de ces logiciels d’enclenchement à l’aide d’outils d’automatisation. En 2010, CP a introduit...

2019-06-26T12:39:52+01:00

Gare centrale de Stockholm

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...

2019-06-26T12:39:57+01:00

ERTMS L2, Suède

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é.

2019-06-26T12:40:03+01:00

Bane NOR, Norvège

Pour la ligne Nordlandsbanen de Bane NOR, le terminal de fret de Ganddal et la double voie Sandnes-Stavanger, Prover a fourni des services clé en main pour la vérification du logiciel des enclenchements.

2019-06-26T12:40:10+01:00

Infrabel, Belgique

Dans le cadre de ce projet, Prover Technology a fourni des outils et des services pour aider Infrabel à améliorer la qualité des spécifications requises pour l’appel d’offres des systèmes de passage à niveau.

2019-06-26T12:40:16+01:00

Qinghai Tibet, Chine

Dans le cadre d’un projet du Ministère des chemins de fer de la République populaire de Chine, GE Transportation a fourni plus de 20 systèmes d’enclenchement pour le chemin de fer Qinghai-Tibet.

2019-06-26T12:40:23+01:00

Métro léger, Stockholm

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...

2019-06-26T12:40:29+01:00

Modular Signalling, GB

Dans le cadre de ce projet, Prover Technology a collaboré avec Siemens UK (anciennement Invensys Rail) à la génération et à la vérification du logiciel des enclenchements Westrace Mk II pour la signalisation modulaire de Network Rail...