Conformité CEI 61508 avec Parasoft

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 et C/C++test CT pour réduire le coût de mise en conformité à la norme CEI 61508 en automatisant plusieurs méthodes de test requises par la norme afin d'économiser du temps et des efforts. Parasoft C/C++test 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 tests et d'analyses de code sont automatisés via Parasoft C / C ++test et C/C++test CT sont traités, des analyses intelligentes sont signalées, ce qui réduit considérablement le travail requis pour la vérification du logiciel.

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 garantir 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 hiérarchisé en fonction d'attributions de gravité configurables, automatiquement attribué 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 manière de le résoudre. Pour le développement intégré et multiplateforme, Parasoft C/C++test peut être utilisé dans les flux d'analyse et de test de code basés sur l'hôte et sur la cible.