Énergie

Dans le secteur de l'énergie, les coûts et les conséquences des erreurs logicielles peuvent être extrêmement élevés.
Les bugs logiciels peuvent entraîner des pertes financières et des perturbations ou des dommages dans les centrales électriques. Dans les applications critiques pour la sécurité, un mauvais logiciel peut entraîner des blessures, voir même des pertes humaines.

Une haute qualité des logiciels et des tests logiciels est alors indispensable.
Dans le développement de dispositifs programmables incluants des fonctions de sécurité, la norme "générale" CEI 61508 peut être utilisée.

La norme CEI 61226 ("Nuclear power plants - Instrumentation and control important to safety") s'applique aux centrales nucléaires. Elle classe les logiciels en différents niveaux de sécurité: A, B et C.

La norme CEI 60880 s'applique à la catégorie A, la plus élevée. Les niveaux B et C sont traités par la norme CEI 62138.
Les deux normes (CEI 61508 et CEI 60880) nécessitent l'utilisation de normes de codage comme MISRA. Ces normes de codage peuvent être vérifiées par un outil d'analyse de code statique.

Notre outil de couverture de code Testwell CTC++ peut être utilisé pour répondre aux exigences de la norme CEI 60880 (Energie Nucléaire) en ce qui concerne l'analyse de couverture de code.

Le kit de qualification pour Testwell CTC++ simplifie la qualification de l'outil Testwell CTC++ dans vos projets.
Testwell CTC++ et son kit de qualification sont conformes à la CEI 60880 et peuvent être utilisés pour les niveaux de sécurité les plus élevés dans l'industrie de l'énergie nucléaire.

La réponse de Testwell CTC++ outil de couverture de code aux exigences des normes CEI 61508 et CEI 60880

Testwell CTC++ outil de couverture de code est utilisé dans les projets répondants aux normes CEI 61508 et CEI 60880. Il montre la Couverture d'Instructions, de Décision/Condition, de Condition Modifiée/Décision modifiée (MC/DC) et même de Couverture de Condition multiple (qui est d'un niveau supérieur à la couverture MC/DC).
Testwell CTC++ outil de couverture de code pour C et C++ est un outil intuitif et facile à utiliser, qui donne des résultats d'analyse clairs et simples.

Testwell CTC++ a un coût d'instrumentation très bas. Il peut être utilisé avec tous les compilateurs et toutes les cibles embarquées, même les plus petites.
Le kit de qualification pour Testwell CTC++ simplifie la qualification de l'outil Testwell CTC++ dans vos projets.
En savoir plus sur Testwell CTC++

Notre solution d'analyse statique

TiCS est une solution de supervision de la qualité du code source, conçue pour les environnements de développement multi-technologies, multi-projets et multi-sites.

TiCS permet de :
✅ Centraliser les mesures de qualité sur l’ensemble du code (C/C++, Java, C#, etc.),
✅ Unifier les outils d’analyse (Coverity, Parasoft C++Test, BlackDuck, MISRA, Cyclomatique, duplication, couverture,…) dans une interface unique,
✅ Automatiser les contrôles qualité dans la chaîne CI/CD,
✅ Assurer la traçabilité et la conformité aux normes (ISO 26262, DO-178C, IEC 61508, etc.),
✅ Suivre l’évolution de la qualité dans le temps via des tableaux de bord clairs et auditables.

Les webinaires et séminaires intra entreprise

Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.
Verifysoft vous soutient avec ses webinaires et ses formations intra entreprise.

Des centaines d'entreprises et d'organisations améliorent la qualité de leurs logiciels grâce à nos outils de test

Les solutions de Verifysoft Technology ont démontré leur succès dans le développement de logiciels critiques pour la sûreté et la sécurité dans le secteur de l'énergie. Parmis nos clients satisfaits: