Systerel a développé des solutions entièrement automatisées dédiées à la vérification de la conception.

Objectif ? Obtenir une meilleure confiance dans les activités réalisées et apporter des gains de performances concrets par rapport à une vérification manuelle.

Ainsi, grâce à son expertise dans les domaines de la vérification et des tests appliqués à une norme sécuritaire, Systerel a transformé des activités de vérification manuelle longues et fastidieuses en automatisant des étapes via une suite d’outils d’aide à la vérification.

Ces solutions automatisées ont été notamment déployées pour un applicatif sécuritaire dans le domaine du nucléaire civil.

Les fonctions de cette suite d’outils sont les suivantes :

– Vérification du respect des règles de design du schéma électrique de l’applicatif,

– Vérification du respect des règles de portage du schéma électrique sur les plateformes cibles,

– Génération des combinatoires de test à réaliser à partir du schéma électrique de l’applicatif (en phase amont du projet),

– Vérification du respect des règles de câblage des cartes et des connecteurs inter-équipements,

– Génération d’un rapport de vérification par outil.