Norme de sécurité fonctionnelle couvrant les aspects logiciels des systèmes informatiques utilisés dans les centrales nucléaires pour exécuter des fonctions importantes pour la sûreté. Elle constitue une adaptation de la norme générique CEI 61508 au domaine nucléaire.
Testwell CTC++ répond aux exigences de la CEI 60880 en matière d'analyse de couverture de code. Il mesure la couverture d'instructions, de décision et de condition, le MC/DC, et jusqu'à la couverture de condition multiple.
Grâce à son faible coût d'instrumentation, il s'emploie aussi bien sur les systèmes hôtes que sur les plateformes cibles embarquées, jusqu'aux plus contraintes.
En savoir plus sur Testwell CTC++ → Demander une évaluation gratuite
« Nous utilisons Testwell CTC++ de manière très intensive pour le développement et le test de logiciels critiques destinés aux centrales nucléaires, aussi bien sur les systèmes hôtes que sur les différentes plateformes cibles embarquées. L'objectif est de mesurer simplement les couvertures d'instructions, de décision et MC/DC, afin de satisfaire les exigences de test de la CEI 60880 et du document de position commune sur l'autorisation des logiciels de sécurité des réacteurs nucléaires, qui formalise les attentes des régulateurs européens. Le soutien de Verifysoft est très utile, rapide, direct et simple. »
Pour Testwell CTC++ 10.x, nous fournissons un certificat du TÜV SÜD Rail GmbH, couvrant tous les niveaux SIL et ASIL des normes concernées.
En alternative — et pour la DO-178C —, un kit de qualification (actuellement disponible pour les versions 9.x et antérieures) apporte la documentation, les cas de test et les procédures permettant de qualifier l'analyseur de couverture pour les projets fondés sur les normes DO-178C, EN 50128, CEI 61508, CEI 60880 et ISO 26262.
Pour toute question sur l'utilisation de Testwell CTC++ dans le développement de systèmes critiques pour la sûreté, contactez-nous.
Références, témoignages et usages de Testwell CTC++ dans la production d'énergie et le nucléaire.
DO-178C, EN 50716, ISO 26262, CEI 61508, CEI 62304, ISO 25119 : chaque référentiel pose ses propres exigences de couverture.
