Réferences

Nous avons fourni avec succès des solutions à l’industrie ferroviaire du monde entier

Nos solutions de conception de poste d’enclenchement déployées à l’échelle mondiale

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

Les projets proposés vont des solutions complètes de Prover Trident à la fourniture d’outils de vérification formelle, de vérification d’approbation à la norme 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 des postes d’enclenchement.

Vous trouverez ci-dessous des présentations de certains projets dans lesquels les solutions de Prover ont été déployées. Les cas de référence 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...