Ingénierie d’un monde plus sûr

Automatisation de la conception de la signalisation, et vérification formelle, pour les chemin de fer du futur.

A propos de nous

Prover fournit des solutions pour l’automatisation de la conception des postes d’enclenchement, 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 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.

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.