PROVER Technology

Produits

Prover Technology développe des outils logiciels basés sur la vérification formelle. Ces outils permettent le développement, la validation et la vérification formelle de système embarqué critique répondant aux normes sécuritaires du ferroviaire – CENELEC 50128- SSIL4 et de l’avionique – DO178B.
Prover est un expert en vérification formelle, en validation de système sécuritaire dans le respect des normes de certification, dans la réduction des coûts de développement sur tout le cycle en V et dans l’amélioration de la sécurité des logiciels embarqués.

Principaux produits ferroviaires

Activité dans le ferroviaire

Prover Technology propose une suite logicielle appelée « Prover iLock » permettant le développement, la validation, la vérification formelle et la génération du code embarqué pour les systèmes d’enclenchements à relais (RBI) ou logiciel (CBI). Cette suite logiciel est complétée par le module « Prover Certifier » répondant à la norme EN 50128-SIL4 permettant la vérification formelle des propriétés de sécurité de systèmes embarqués critiques (système d’enclenchement, CBTC, ERTMS, RBC etc.)
21 Rrue Alsace Lorraine 31000 TOULOUSE
Tél. : 05 62 27 53 27
fax : 05 62 27 53 29
Contact : Julie Delouche
E-mail : Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.

Chiffres clés

Nombre de salariés
35
CA Annuel
4000
k€ (
2014
)

Certifications

• ISO 9001-2008

Marchés

• Ferroviaire
• Aéronautique

Spécialisation

Compétences métier

- Ingénierie
Retour à la liste

En continuant à naviguer sur ce site, vous acceptez l'utilisation de cookies.