7. Qualification
Dans sa version 2001, la norme CENELEC EN 50128 introduisait une demande de qualification des compilateurs, sans vraiment indiquer ce qui était attendu.
La version 2011 de la norme CENELEC EN 50128 introduit formellement le besoin de qualifier les outils (voir § 6.7 de la norme). Comme pour l’IEC 61508 et l’ISO 26262, trois classes d’outils, T1, T2 , T3, ont été introduite :
la classe T1 est dédiée aux outils qui n’ont pas d’impact sur la vérification et qui n’ont pas d’impact sur l’exécutable final ;
la classe T2 est dédiée aux outils ou un défaut pourrait fausser les résultats de vérification ou de validation. La classe T2 contient les outils de vérification...
Cet article est réservé aux abonnés
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ?
Se connecter
Lecture en cours
Qualification