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 d’exécution 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.

Dans le domaine ferroviaire, la validation logicielle est souvent désignée sous le terme « tests d’ensemble », en référence aux exigences des normes EN 50128:2011 et EN 0716 pour le développement logiciel.

Type d’activités :

  • Rédaction du plan de vérification
  • Rédaction du rapport 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 des données (données de paramétrage SCAM)
  • Recherche de code mort
  • 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é
  • Vérification formelle de propriétés de sécurité

Validation

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

Dans le domaine ferroviaire, la validation logicielle est souvent désignée sous le terme «tests d’ensemble», en référence aux exigences des normes EN 50128:2011 et EN 50716 pour le développement logiciel.

 Type d’activités :

  • Rédaction du plan de validation
  • Tests unitaires ou de composants (ATTOL/IBM Rational® Test RealTime…)
  • Tests de validation ou d’ensemble
  • Tests d’intégration
  • Tests en boîte noire (fonctionnels, non-fonctionnels et régression)
  • Tests en boîte blanche (structurels)
  • Tests de performance
  • Modélisation et preuve formelle (B, B événementiel, SCADE…)
  • Validation sous-systèmes et systèmes
  • Validation de données