Webinaire en vedette : MISRA C++ 2023 : tout ce que vous devez savoir | Voir le séminaire

IEC 61508

Conformité CEI 61508 avec Parasoft

Qu'est-ce que la CEI 61508?

La CEI 61508 est considérée comme une norme internationale de base ou «parapluie» pour la sécurité fonctionnelle. La CEI 61508 peut être appliquée à tout type de produit électrique / électronique de sécurité. Les secteurs industriels sont censés fournir leurs propres normes, documents et directives spécifiques selon les besoins (par exemple ISO 26262 dans l'automobile). La CEI 61508 englobe tout le cycle de vie de sécurité des systèmes critiques pour la sécurité. Il contient 4 parties normatives (1-4) plus 3 parties informatives ou «directives» (5-7). La certification CEI 61508 est facultative - la norme ne l'exige pas spécifiquement.

La norme technique CEI 61508 introduit le concept de niveau d'intégrité de sécurité (SIL). SIL peut prendre l'un des quatre niveaux (SIL1-SIL4) correspondant à la plage de probabilité cible d'une fonction de sécurité donnée de défaillances dangereuses. Chaque fonction de sécurité d'un système lié à la sécurité doit avoir un niveau d'intégrité de sécurité approprié attribué. Un système E / E / PE relatif à la sécurité implémentera généralement plus d'une fonction de sécurité. Si les exigences d'intégrité de sécurité pour ces fonctions de sécurité diffèrent, à moins qu'il y ait une indépendance suffisante de mise en œuvre entre elles, les exigences applicables au niveau d'intégrité de sécurité pertinent le plus élevé s'appliquent à l'ensemble du système E / E / PE relatif à la sécurité.

Application de la conformité à la norme CEI 61508 avec l'analyse du code source, les tests unitaires, la traçabilité, etc.

Les utilisateurs de Parasoft peuvent tirer parti Parasoft C / C ++test  pour réduire le coût de la conformité à la norme CEI 61508 en automatisant les multiples méthodes de test requises par la norme pour économiser du temps et des efforts. Le test Parasoft C / C ++ aide les équipes de développement de logiciels d'automatisation industrielle à satisfaire les exigences du processus de développement et de vérification de logiciels définies par la norme CEI 61508. Lorsque les résultats du large éventail de types de test et d'analyse de code automatisés Parasoft C / C ++test sont traitées, des analyses intelligentes sont signalées, ce qui réduit considérablement le travail requis pour la vérification des logiciels.

Comment les services Parasoft contribuent à atteindre la conformité CEI 61508

Le test Parasoft C / C ++ est une solution de test de développement intégrée pour automatiser un large éventail de bonnes pratiques éprouvées pour améliorer la productivité de l'équipe de développement logiciel et la qualité des logiciels, notamment:

  • Analyse statique: surveillez la conformité aux normes de codage et prévenez les défauts au début du SDLC, y compris l'élimination des constructions logicielles qui posent des menaces pour la sécurité
  • Tests unitaires: créez et exécutez des tests sur l'hôte ou la cible
  • Analyse des métriques de couverture: identifiez les tests des lacunes, les exigences et la couverture du code
  • Détection des erreurs d'exécution: détectez les erreurs d'accès à la mémoire, les fuites, les corruptions, etc.

Ces technologies offrent aux équipes un moyen pratique de prévenir, d'exposer et de corriger les erreurs afin de s'assurer que leur code C et C ++ fonctionne comme prévu et est conforme aux exigences. Pour favoriser une résolution rapide, chaque problème détecté est priorisé en fonction d'attributions de gravité configurables, automatiquement attribués au développeur qui a écrit le code associé, et distribué à son IDE avec des liens directs vers le code problématique et une description de la façon de le résoudre. Pour le développement intégré et multiplateforme, le test C / C ++ peut être utilisé dans l'analyse de code et les flux de test basés sur l'hôte et sur la cible.

Texte à gauche en caractères blancs sur fond bleu foncé : Guide to Achieving Functional Safety in Industrial Automation : How to Satisfy IEC 61508 SIL Requirements. Sur la droite se trouve une image de bras robotiques orientés vers le bas et soudant du métal avec des étincelles volant comme un cierge magique extra large.
whitepaper

Guide pour atteindre la sécurité fonctionnelle dans l'automatisation industrielle : comment satisfaire aux exigences SIL IEC 61508

Les normes fonctionnelles IEC 61508 réduisent les risques logiciels. Lisez ce document pour découvrir comment Parasoft peut aider les équipes de développement logiciel à répondre aux exigences de niveaux SIL particuliers. Il vous aide à comprendre le SIL tel que défini par la norme IEC 61508 et montre comment Parasoft peut être utilisé pour satisfaire les exigences du processus de développement logiciel pour des niveaux SIL particuliers.

Télécharger