Les solutions

En 2020, seules les offres des entreprises du cluster Mipirail sont listées ci-dessous.

En 2021, figureront toutes offres des membres Totem concernés par la "dynamique
business rail"qui le souhaiteront.

Vérification Formelle appliquée aux systèmes critiques embarqués

Problématique

Vous voulez vous assurer que votre logiciel est complètement sécuritaire et exempt de “bogue” critique?

Vous voulez vous assurer que votre processus de validation et vérification est fiable et sera accepté par les autorités de certification ferroviaire ou automobile?

Vous voulez réduire vos coûts de V&V

Solution

La Vérification Formelle permet de

Simplifiez et améliorer le développement de vos logiciels en fournissant aux concepteurs un retour d’information précoce!
Eliminer rapidement les problèmes de sécurité, d’améliorer la qualité et simplifier l’évaluation de la sécurité et les processus de test!
Fournir un moyen efficace de revérifier le logiciel et de faire des tests de régression après les mises à jour!
Complétez les tests automatisés avec un argumentaire de sécurité complet

Le processus est de
Inclure la vérification formelle dans le processus dès le début du projet
Développer de logiciel en tenant compte des exigences de sécurité et de leurs vérifications
Utilisation d’outils de vérification formelle automatisés
Collaboration étroite entre l’équipe de vérification formelle et l’équipe de conception

Résultats

Processus de développement intégré
Réduit les délais et les coûts de livraison
Documentation du dossier de sécurité
Des exigences de qualité plus élevées qui peuvent être vérifiées, entraînant une réduction des nouveaux tests, moins d’itérations et un déploiement plus rapide, ainsi qu’une maintenance simplifiée et des coûts de cycle de vie réduits.
La vérification formelle révèle presque toujours des bogues supplémentaires ou des problèmes de sécurité potentiels qui, autrement, passeraient inaperçus

CONTACT

Thierry LARTAUD
thierry.lartaud@prover.com
+33 685 33 40 74
PROVER
1 rue Bouquières
31000 Toulouse – France
www.prover.com