Sécurisation des systèmes critiques pour la signalisation ferroviaire et véhicule autonome

Problématique

Vous 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

Les 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

La 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é!

CONTACT

Thierry LARTAUD
thierry.lartaud@prover.com
+33 685 33 40 74
PROVER TECHNOLOGY SAS
15 allée Jean Jaurès
31000 TOULOUSE
www.prover.com