É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++
L'analyse statique
Imagix 4D est un outil pour comprendre, documenter et améliorer un code source écrit en C, C++ ou Java, qu´il soit complexe, fourni par un tiers ou bien hérité. De plus, Imagix 4D détecte les problèmes dans l´utilisation des données et les interactions des tâches.Avec Imagix 4D vous augmentez la productivité, améliorez la qualité et réduisez les risques.
Testwell CMT++ analyse les métriques les plus importantes telles que les métriques de Lignes de code (LOC), les métriques d'Halstead, le nombre cyclomatique de McCabe v(G), l'index de maintenabilité et le Max ND/Maximum Nesting Depth. L'outil est très facile à utiliser, extrêmement rapide et analyse même de très grandes bases de code.
Les séminaires
Les développeurs et managers de logiciels critiques ont besoin des meilleures connaissances afin de développer et de fournir un excellent logiciel.Verifysoft Technology vous soutient avec ses séminaires et workshops.
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:
ABB
AREVA
CATL (China)
Contemporary Amperex
Kongsberg (Norway)
Siemens Wind Power
Westinghouse
Lisez ci-dessous ce que nos clients disent au sujet de nos outils::
Plus de 500 clients répartis dans une trentaine de pays utilisent les outils Testwell avec grand succès.
Lire les témoignages d´utilisateurs.
"Testwell CTC++ est utilisé dans l´un de nos projets sur cibles embarquées. Cela a été facile à intégrer sur la cible embarquée. CTC++ dispose d´un mode d´emploi bien écrit et Verifysoft offre un bon service à sa clientèle."
Anna Andgart, Développeur de logiciels
ABB AB, Control Technologies, Suède
Anna Andgart, Développeur de logiciels
ABB AB, Control Technologies, Suède
"Nous utilisons Testwell CTC++ très intensivement au cours de notre développement et le test de logiciels critiques pour les centrales nucléaires.
Cet outil n´est pas seulement utilisé sur les systèmes hôtes, mais aussi sur les différentes plates-formes cibles embarquées. L´objectif est de mesurer facilement les couvertures de type déclaration/décision ou MC / DC pour satisfaire les exigences de test du logiciel de domaine nucléaire norme IEC60880 et le document de position commune "licences de la sécurité des logiciels critiques pour les réacteurs nucléaires" qui stipule les exigences du point de vue européen des régulateurs pour le nucléaire.
Le soutien de Verifysoft est très utile, rapide, direct et simple."
Thorsten Oertel, Senior Firmware Engineer
AREVA GmbH, Allemagne
Cet outil n´est pas seulement utilisé sur les systèmes hôtes, mais aussi sur les différentes plates-formes cibles embarquées. L´objectif est de mesurer facilement les couvertures de type déclaration/décision ou MC / DC pour satisfaire les exigences de test du logiciel de domaine nucléaire norme IEC60880 et le document de position commune "licences de la sécurité des logiciels critiques pour les réacteurs nucléaires" qui stipule les exigences du point de vue européen des régulateurs pour le nucléaire.
Le soutien de Verifysoft est très utile, rapide, direct et simple."
Thorsten Oertel, Senior Firmware Engineer
AREVA GmbH, Allemagne
Plus de 500 clients répartis dans une trentaine de pays utilisent les outils Testwell avec grand succès.
Lire les témoignages d´utilisateurs.