Ingénierie d’un monde plus sûr

Automatisation de la conception des systèmes de signalisation et vérification formelle. Bâtissons le futur de l’industrie ferroviaire.

A propos de nous

L’aviation, le transport routier et les voitures engendrent la dépendance au pétrole et la pollution. Les trains sont plus rapides, plus économiques, plus sûrs et plus écologiques. Chez Prover Technology, nous nous engageons à faire notre part pour contribuer à un monde durable et sûr. Nous fournissons des solutions pour l’ingénierie des systèmes critiques contrôlant les trains, la signalisation et les aiguillages.

Prover fournit des solutions pour l’automatisation des phases de conception des postes d’enclenchement et des systèmes de signalisation, qui réduisent radicalement les délais de mise en service des systèmes de contrôle des trains, tout en garantissant une sécurité accrue. Par exemple, la fourniture d’un système complet d’enclenchement peut être réduite de 12-18 mois à 1-3 mois. La vérification, qui requiert généralement plus de 50% du temps, devient une activité simple.

Nos solutions, PiSPEC® et Prover iLock®, sont utilisées pour spécifier, implémenter, simuler et vérifier formellement une grande variété de systèmes, notamment des postes d’enclenchement, CBTC, ERTMS, ATP et PTC. Nous fournissons également les logiciels et la formation nécessaires pour permettre à nos clients de satisfaire aux exigences de certification à un coût raisonnable, par exemple CENELEC SIL-4.

Prover est actif dans les associations de l’industrie ferroviaire et de la signalisation ainsi que dans les organismes de normalisation tels que SWERIG et UNIFE. Nous contribuons activement à façonner les systèmes de demain pour le contrôle des trains. Nous mettons tous nos efforts à développer des solutions sûres, rentables et d’avenir.

Prover est un leader mondial des méthodes formelles et de la vérification formelle de la sécurité des systèmes critiques. L’entreprise a été fondée en 1989 à Stockholm, en Suède, et a acquis une vaste expérience au fil des années dans son domaine. Prover possède des filiales aux États-Unis, en France et en Chine. Il appartient à des investisseurs privés et au personnel et compte des clients dans plus de 25 pays.

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.

Plus d’informations

Prover Trident

Une suite complète, de processus et d’outils, pour l’automatisation de la conception de postes d’enclenchement.

Vérification formelle

La vérification formelle est une technique permettant de vérifier que les systèmes remplissent les propriétés sélectionnées avec une certitude totale.

Contactez nous

Vos demandes de renseignements sont les bienvenues.