PROVER TECHNOLOGY

PROVER TECHNOLOGY

Compétences maîtrisées
Digital (IoT, 5G, IA...)ElectroniqueSûreté - (cyber)sécuritéSystème autonome
CategoriesRail

Contacts

Contact principalThierry LARTAUD
Fonction du contact principalSales & Business Development Director
Téléphone du contact principal+33 685 33 40 74
Contact 2Thierry LARTAUD

Informations générales

Type d'organisation
PME
Chiffre d'affaires (K€)4500
Nombre de salarié(s)30
Certifications- ISO9001-2015
Adresse7 rue Auber 31000 Toulouse- France, France
Site InternetSite Internet
Présence/Actions à l'International- Le siège social est à Stockholm - Bureaux à Toulouse, San Francisco, Shanghai, Alger

Offre Entreprise 4.0

Principaux produits Entreprise 4.0Prover Trident est une suite complète de processus et d’outils pour l’automatisation de la conception de systèmes de signalisation. PSL est un Model Checker pour la vérification formelle des systèmes critiques embarqués
Clients & références Entreprises 4.0Alstom, RATP, SNCF, Hitachi, Siemens, NYCT, CASCO, Network Rail, SBB, DB, SL

Présentation rapide

Activité principaleAutomatisation de la conception des systèmes de signalisation et vérification formelle. Bâtissons le futur de l’industrie ferroviaire.
Présentation rapideNous fournissons des solutions pour l’ingénierie des systèmes critiques contrôlant les trains, la signalisation et les aiguillages.
Marché(s) d'application
Entreprise 4.0Rail
Statut
Entreprise
Activité au sein de Totem
Business France et International

Solution n°1

Fiche solution n°1Sécurisation des systèmes critiques pour la signalisation ferroviaire et véhicule autonome
Segments - Fiche n°1
Rail
Problématique/Objectifs - Fiche n°1Vous souhaitez améliorer la qualité et la sécurité de vos systèmes critiques logiciels et matériels pour la signalisation ferroviaire ou le véhicule autonome ? Les techniques classiques de V&V que sont la simulation et le test ne garantissent pas l’exhaustivité de la vérification et sont encore très manuelles, donc très coûteuses.
Solution/Description- Fiche n°1Les méthodes formelles sont des techniques alternatives, fondées sur des bases mathématiques, permettant la spécification et le développement de systèmes, ainsi que la vérification automatique de propriétés de sécurité critiques. Prover est un pionnier des méthodes formelles appliquées au système critique embarqué, du développement d’atelier métier de CAO (Conception Assistée par Ordinateur) avec une expertise de traduction des différents langages logiciels. Notre stratégie de développement est basée sur la qualité de nos services et solutions logicielles toujours à la pointe de la technologie et avec votre confiance pour unique objectif. Notre suite logiciel Prover Trident est utilisée pour spécifier, implémenter, simuler et vérifier formellement une grande variété de systèmes, notamment des systèmes de signalisation ferroviaire. Prover Certifier est un outil de vérification formelle qui permet d’améliorer la qualité, la sécurité et la fiabilité de vos logiciels. Cet outil permet l’automatisation du processus de vérification, et la couverture à 100% de la sécurité des systèmes logiciels critiques dans le respect des normes en vigueur tels que CEI 61508 2010 à T3/SIL 3 et à la norme EN 50128:2011 à T3/SIL 3/4.
Résultats/Modalités - Fiche n°1La société a été fondée en 1989 à Stockholm, en Suède, et possède des filiales aux États-Unis, en France (Toulouse depuis 2001) et en Chine (Shanghai). Nos solutions logicielles sont déployées dans plus de 25 pays. Nos clients sont : RATP, Hitachi Rail, NYCT, Métro de Stockholm, Trafikverket, Siemens, Alstom, Thales, Canadian Pacific etc. Aujourd’hui, nous avons la volonté d’accompagner nos clients sur de nouveaux marchés tels que le véhicule autonome et connecté!
Illustration - Fiche n°1<img class="alignnone size-medium wp-image-1819" src="https://www.clustertotem.fr/wp-content/uploads/prover-fiche-solution-1-300x239.png" alt="" width="300" height="239" />

Grands comptes

SNCF
OUI

Documentation téléchargeable

Documentation téléchargeable n°1
    Documentation téléchargeable n°2