Réferences
Nos solutions d’automatisation des tâches de conception, pour les systèmes de signalisation, ont été fournies et utilisées avec succès dans le monde entier.
Exemples de déploiement des solutions de Prover dans le monde
Prover a fourni, avec succès, des solutions pour l’automatisation des tâches de conception des systèmes signalisation aux gestionnaires d’infrastructure ferroviaire du monde entier. Par exemple 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 des tâches de conception de signalisation de Prover.
Nos types de projet vont de solutions complètes basées sur Prover Trident, à la fourniture d’outils de vérification formelle, ou d’outils indépendant pour la vérification en accord avec la norme CENELEC SIL-4, mais aussi d’outils de simulation et de génération de cahier d’essai ou cahier de tests. L’offre de Prover couvre tous les aspects de l’automatisation de la conception des systèmes de signalisation.
Vous trouverez ci-dessous des présentations de certains projets dans lesquels les solutions de Prover ont été déployées. Ces exemples indiquent le but des projets, l’environnement cible, ainsi que les solutions fournies.
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.
Vérification formelle du logiciel des SSI de NYCT, New York
New York City Transit (NYCT) modernise le système de signalisation dans son métro en installant des CBTC et en remplaçant les enclenchements...
Mise en œuvre de Prover Trident pour SL, Stockholm
Dans le cadre de ce projet, Prover fournit la solution Prover Trident à Ansaldo STS, pour le développement et l’approbation de la sécurité des logiciels des poste d’enclenchement pour...
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...
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...
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é.
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.
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.
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.
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...
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...