A propos de nous
Ingénierie d’un monde plus sûr
Transport aérien, transport routier, et voitures personnelles entraînent dépendance au pétrole et pollution. Les trains sont plus rapides, plus économiques, plus sûrs et plus verts. Chez Prover Technology, nous nous engageons à contribuer à un monde durable et sûr. Nous fournissons des solutions pour l’ingénierie des systèmes critiques, qui contrôlent les trains, les signaux et les aiguillages.
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.
Prover est actif dans les associations du secteur ferroviaire et de la signalisation et dans les organismes de normalisation tels que SWERIG et UNIFE. Nous contribuons activement à façonner les systèmes de contrôle des trains de demain. Nous œuvrons pour des solutions à la fois sûres, rentables et pérennes.
Prover est un leader mondial dans les domaines des méthodes formelles et de la vérification formelle des systèmes critiques. La société 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. Elle appartient à des investisseurs privés et à son personnel et compte des clients dans plus de 25 pays.