Dans le cadre des applications logicielles sécuritaires du service contrôle commandes et mesures d'AREVA TA, telles que définies par la norme CEI, il faut être absolument certain que le code développé sur machine hôte Linux et généré par le compilateur (MCCCF) est converti à l’identique en langage assembleur sur carte cible Freescale ColdFire.

Intégré au sein du service "Contrôle Commandes et Mesures" d'AREVA TA, j'ai eu la chance d'intervenir sur le développement de tests unitaires permettant la qualification du compilateur MCCCF..

La problématique est de pouvoir assurer la qualification de l’outil MCCCF en tant que générateur automatique de code (norme CEI 60880). Ce compilateur assure la traduction du code C provenant de la machine hôte (développement) en instruction assembleur destinées à déploiement sur cartes CSG, suivi après tests, d'une mise en exploitation sur chaufferie nucléaire (sous-marin d'attaque/lanceur d'engin).

Pour assurer la réalisation de la mission, AREVA TA a mis à disposition un banc d'essai avec carte cible CSG. L'idée étant de pouvoir développer les tests, les dérouler sur cibles tout en veillant à la bonne réception par la carte en évitant notamment les mise en replis par le Watchdog.

L'une des contraintes principales est la conformité à l'ensemble des règles de développement AREVA TA et la norme CEI 60880 (Commission Électrotechnique Internationale), liées au milieu du logiciel sécuritaire régit par un haut niveau de sureté (logiciel de niveau A en l'occurence).

Les tests unitaires réalisés en langage C, couvrent l'ensemble des 400 règles de développement imposées par les spécifications AREVA TA, elles-mêmes requises par l'inspection d'exigences qualités et sureté logiciels souhaitée par la direction de la défense nationale.

Tests unitaires en langage C des 400 règles de développement permettant la qualification du compilateur MCCCF

Documentation, spécification, compte rendu de tests