Vérification formelle de spécifications

Grâce à notre expérience de la modélisation et à notre capacité à comprendre et à abstraire les besoins de nos clients, nous assistons les opérateurs, industriels et donneurs d’ordre dans leur tâche de vérification des spécifications et des cahiers des charges systèmes et logiciels.

La méthode B associée à d’autres formalismes est utilisée pour aider à analyser, valider, réorganiser et fournir les éléments qui permettent de compléter les spécifications et cahiers des charges.

Cette technique d’analyse de fiabilité des systèmes a la particularité d’être applicable à tous les domaines industriels. La validation formelle est ainsi utilisée aujourd’hui avec succès dans les domaines automobile, bancaire, spatial, et nucléaire.

Avantages de la vérification formelle

Les bénéfices constatés de la validation formelle de systèmes sont :

  • une focalisation plus rapide sur les points difficiles
  • une synthèse fiable et justifiable
  • un questionnement direct et précis
  • des preuves de cohérences
  • une complétude atteignable
  • la suppression des non-dits métier
  • la prise en compte des aspects fonctionnels et dysfonctionnels

Pour un retour sur investissement qui s’apprécie en terme de :

  • diminution d’échecs tardifs
  • gains en validation (testabilité améliorée)
  • convergence plus rapide (qualité de réalisation)
  • amélioration de la capitalisation des connaissances

Les commentaires sont fermés.