Dans le secteur de l'énergie, le coût d'une erreur logicielle est hors de proportion avec celui du défaut lui-même : pertes financières, perturbations ou dommages sur une centrale. Dans les applications critiques pour la sécurité, un logiciel défaillant peut causer des blessures, voire des pertes humaines. La qualité du logiciel et celle des tests y sont donc indissociables.
Pour le développement de dispositifs programmables intégrant des fonctions de sécurité, la norme générale CEI 61508 fait référence.
Dans les centrales nucléaires s'applique la CEI 61226 — instrumentation et contrôle-commande importants pour la sûreté — qui classe les logiciels en trois catégories de sécurité : A, B et C. La catégorie A, la plus exigeante, relève de la CEI 60880 ; les catégories B et C sont traitées par la CEI 62138.
La CEI 61508 comme la CEI 60880 imposent le recours à des normes de codage telles que MISRA, dont le respect se vérifie par analyse statique.
L'outil est employé dans des projets conduits sous CEI 61508 et CEI 60880. Il mesure la couverture d'instructions, de décision et de condition, le MC/DC, et jusqu'à la couverture de condition multiple — d'un niveau supérieur au MC/DC.
Testwell CTC++ et son kit de qualification sont conformes à la CEI 60880 et peuvent donc être utilisés aux niveaux de sécurité les plus élevés de l'industrie nucléaire. Le kit simplifie la qualification de l'outil dans vos projets.
Son coût d'instrumentation est très faible, et il s'utilise avec tous les compilateurs et toutes les cibles embarquées, jusqu'aux plus petites. Les résultats d'analyse sont clairs et directement exploitables.
En savoir plus sur Testwell CTC++ → Demander une évaluation gratuite
TiCS supervise la qualité du code source dans les environnements multi-technologies, multi-projets et multi-sites. Il permet de :
Dans l'énergie, nos solutions accompagnent le développement de logiciels critiques pour la sûreté et la sécurité. Parmi elles :
ABB · Areva · CATL (Contemporary Amperex) · Kongsberg · Siemens · Siemens Wind Power · Westinghouse
Plus de 750 clients répartis dans plus de 40 pays utilisent les outils Testwell.
« 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 support de Verifysoft est très utile, rapide, direct et simple. »
« Testwell CTC++ est utilisé sur l'un de nos projets embarqués. L'intégration sur la cible a été facile. L'outil dispose d'un mode d'emploi bien écrit, et le service client est de bonne qualité. »
Développer et livrer un logiciel critique exige des connaissances à jour. Nos webinaires et nos formations intra-entreprise accompagnent développeurs et responsables qualité sur les exigences normatives et les pratiques de test associées.
L'évaluation est gratuite et accompagnée : installation, configuration, intégration à votre chaîne de build et lecture des rapports de couverture.
