Systerel prend en charge les activités de vérification et de validation (V&V) pour le compte d’industriels et propose des solutions outillées pour améliorer la qualité et les délais de celles-ci.

Systerel offre également des services clés en main de V&V SIL4 pour les systèmes, logiciels et données de paramétrage critiques.

Vérification

 

Systerel intervient à toutes les étapes du cycle de vie du logiciel (planification, exigences, conception, tests, intégration, validation, maintenance), afin de vérifier que les livrables produits lors de chacune de ces phases sont conformes aux normes et suivent les règles et techniques applicables.

Exemples d’activités :

  • Rédaction du plan de vérification
  • Revue critique de documentation, en langage naturel, semi-formel ou formel
  • Relecture critique de code (Ada, C, SCADE, B, Java…)
  • Vérification de règles de spécification, règles de conception, règles de codage, etc.
  • Vérification et analyse des métriques
  • Vérification manuelle ou outillée (Polyspace®, IBM Rational® Logiscope, Model Checking…), statique ou dynamique
  • Vérification ou élaboration de matrices de traçabilité
  • Tests unitaires (ATTOL/IBM Rational® Test RealTime…)
  • Vérification formelle de propriétés de sûreté

Validation

Systerel mène des activités de validation qui permettent d’assurer que les exigences spécifiées, et en particulier les exigences de sûreté, sont satisfaites par le logiciel développé.

 

Type d’activités :

  • Rédaction du plan de validation
  • Tests fonctionnels et boîte noire
  • Tests de performance
  • Modélisation et preuve formelle (B, B événementiel, SCADE…)
  • Validation sous-systèmes et systèmes
  • Validation de données

Produits

vérification et validation de logiciels et systèmes critiques

Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada…

En savoir plus  Contactez-nous

Vérification et Validation de logiciels ou systèmes critiques

 

Validation automatique des données critiques de configuration

En savoir plus Contactez-nous