Découvrez quelle solution de test API est arrivée en tête dans le rapport GigaOm Radar. Obtenez votre rapport d'analyse gratuit >>
IEC 61508
Conformité et outils IEC 61508
Effectuez la vérification et la validation des logiciels pour la norme IEC 61508 avec les solutions de test Parasoft C/C++. Réduisez les coûts de mise en conformité à la norme IEC 61508. Automatisez les méthodes de test requises par la norme.
IEC 61508
Qu'est-ce que la CEI 61508?
IEC 61508 est une norme internationale régissant la sécurité fonctionnelle des systèmes électriques, électroniques et électroniques programmables (E/E/PE). Elle fournit un cadre pour garantir la sécurité et la fiabilité des systèmes tout au long du cycle de vie de développement.
Conforme à la norme IEC 61508
Assurez-vous que vos logiciels critiques pour la sécurité répondent à des exigences rigoureuses en matière d'intégrité de sécurité en maîtrisant les processus de vérification IEC 61508, en évitant les défaillances critiques et garantir le respect des exigences de conformité.
Guide pour atteindre la sécurité fonctionnelle dans l'automatisation industrielle
Découvrez comment tirer parti des tests automatisés pour satisfaire totalement ou partiellement aux exigences du processus de développement logiciel pour des niveaux SIL particuliers au sein de la norme IEC 61508.
Avantages apportés par Parasoft à la norme IEC 61508
Atteindre la conformité pour systèmes d'automatisation industrielle en automatisant les processus de vérification et de validation tels que les revues de code, la traçabilité des exigences, l'analyse statique, les tests unitaires et la couverture de code. Cette approche réduit les coûts de développement, garantit la sécurité et accélère les délais de certification.
Analyse statique – IEC 61508
Examinez automatiquement votre code source grâce à notre puissant moteur d'analyse de code pour détecter rapidement les erreurs potentielles, les failles de sécurité et les violations des normes de codage. Cela garantit la conformité aux normes. normes de codage comme MISRA, CERT et plus encore.
Assurer la conformité aux normes de sécurité fonctionnelle | Les équipes bénéficient du support de conformité de Parasoft grâce à diverses méthodes de test telles que la traçabilité des exigences et les rapports de conformité. Ces méthodes garantissent des applications C et C++ sûres, sécurisées et fiables. |
Test de sécurité d'analyse statique (SAST) | Assurez une sécurité logicielle robuste pour les systèmes critiques pour la sécurité. Intégrez les éléments suivants dans vos processus d'analyse statique :
|
Analyse du flux de contrôle | Identifiez les chemins d'exécution potentiels dans un programme et suivez les mouvements de contrôle. Cela permet de détecter le code mort ou les problèmes liés à la logique et au flux, essentiels pour garantir la conformité. |
Analyse du flux de données | Identifiez les vulnérabilités telles que les variables non initialisées et les défauts d'injection. Recherchez également les manipulations de données non sécurisées dans les systèmes électroniques avec capteurs, logique de contrôle, actionneurs et microprocesseurs nécessitant des niveaux d'intégrité de sécurité élevés (SIL). |
Visites et inspections | Améliorez l'analyse statique avec des procédures pas à pas ou notre module de révision de code. Automatisez la préparation, la notification et le suivi. Cela garantira que les révisions efficaces sont conformes aux exigences de la norme en matière d'évaluation indépendante et de traçabilité. |
Testez plus intelligemment avec l'IA et le ML | Exploitez l'intelligence artificielle et l'apprentissage automatique pour améliorer les flux de travail d'analyse statique. Les équipes peuvent automatiser la priorisation des problèmes critiques. GenAI explique et suggère des correctifs pour les violations d'analyse statique afin de rationaliser les efforts de conformité. |
Analyse dynamique – IEC 61508
Automatisez l'exécution des tests pour détecter les problèmes lors de l'exécution. Cette opération est essentielle pour répondre aux besoins de validation. Notre infrastructure de tests logiciels pour C et C++ prend en charge les tests unitaires, les tests d'intégration, les tests système, etc. Les équipes peuvent également tirer parti de frameworks populaires tels que GoogleTest.
Tests unitaires | Isolez les unités avec des frameworks de stubbing et des simulations automatisés pour valider le comportement sur différentes entrées. Cela garantit la conformité aux niveaux d'intégrité de sécurité de la norme IEC 61508. |
Génération de cas de test automatisée | Générez automatiquement des cas de test pour couvrir les cas extrêmes et les conditions d'erreur, réduisant ainsi l'effort manuel. Il augmente également la couverture des tests pour garantir que chaque ligne de code est inspectée. |
Couverture du code structurel | Répondez aux exigences de couverture de code à 100 % grâce à la prise en charge par Parasoft de la couverture de code des instructions, des branches et des codes MC/DC. Assurez des tests approfondis pour identifier le code non testé et mort. |
Traçabilité des exigences
Automatisez la traçabilité bidirectionnelle entre les exigences, les cas de test, les résultats de test, le code source et les revues de code pour atteindre les objectifs et satisfaire aux exigences de conformité. Maintenez l'alignement avec l'accent mis par la norme IEC 61508 sur la documentation du cycle de vie et la matrice de traçabilité des exigences.
Rapport de conformité
Suivez automatiquement les progrès vers la conformité à la norme IEC 61508 grâce à des tableaux de bord dynamiques. Générez des rapports pour démontrer la conformité et répondre aux audits. Les équipes bénéficient également d'une visibilité sur les résultats des tests, même pour les bases de code volumineuses ou héritées.
Intégrez l'analyse statique et dynamique à votre flux de travail CI/CD
L'analyse statique, les tests unitaires, les tests de régression, la couverture de code et la traçabilité des exigences de Parasoft s'intègrent parfaitement dans les pipelines CI/CD. Les équipes peuvent également intégrer la plupart de ces fonctionnalités dans d'autres cadres de test comme Boost.Test pour garantir des logiciels fiables et conformes à la sécurité, conformes à la norme IEC 61508.
Qualification des outils
Nos solutions de test C/C++ ont été certifiées TÜV SÜD selon la norme IEC 61508 pour tous les niveaux SIL. Le certificat de conformité satisfait aux exigences de la norme IEC 61508 et ne nécessite aucune action supplémentaire. Si vous le souhaitez, nous proposons un kit de qualification d'outils qui automatise le processus de qualification des outils au sein de votre écosystème de développement.
Solutions pour aider à atteindre les objectifs de la norme IEC 61508
Test C / C ++
C/C++test est une solution complète de tests logiciels automatisés pour les applications critiques en matière de sécurité et s'intègre parfaitement dans les pipelines CI/CD et les IDE. Assurez-vous que votre logiciel répond aux exigences de vérification définies dans la norme IEC 61508 grâce à l'analyse statique, à l'analyse dynamique, à la traçabilité des exigences, à la couverture du code et à la génération de rapports.
En savoir plus
Test CT C/C++
C/C++test CT automatise la couverture du code et la traçabilité des exigences pour les systèmes nécessitant la conformité à la norme IEC 61508. Il s'intègre aux frameworks de test tels que GoogleTest, CppUTest, UnitTest++ ou autres et aux pipelines CI/CD pour rationaliser les activités de V&V.
En savoir plus
DTP
Parasoft DTP regroupe les résultats des tests et la traçabilité des exigences pour garantir la conformité à la norme IEC 61508. Le tableau de bord dynamique offre une visibilité sur les écarts et la progression des tests, prenant en charge les évaluations de sécurité itératives.
En savoir plus
Assurer ++
Détectez les problèmes de mémoire, les erreurs d'exécution et les vulnérabilités de sécurité telles que les dépassements de mémoire tampon et les fuites de mémoire avec Insure++. Il visualise les allocations et les désallocations de mémoire pour les logiciels critiques pour la sécurité IEC 61508.
En savoir plusPourquoi Parasoft?
Bénéficiez d'avantages uniques en matière de conformité grâce à nos solutions complètes. En automatisant les processus critiques tels que l'analyse statique et dynamique, la traçabilité des exigences et la couverture du code structurel, Parasoft garantit une vérification efficace et fiable des logiciels de dispositifs médicaux critiques pour la sécurité. Nos solutions s'intègrent parfaitement aux environnements de développement existants. Les équipes rationalisent les flux de travail et accélèrent les efforts de conformité.
Intégrations dédiées
Simplifiez les flux de travail des systèmes complexes critiques pour la sécurité en intégrant les solutions de Parasoft aux IDE et débogueurs intégrés. Les environnements pris en charge incluent Eclipse, VS Code, Green Hills MULTI, Wind River Workbench, etc.
Tests de système à système pour la sécurité fonctionnelle
Pour les tests au niveau du système, utilisez Parasoft SOAtest et Virtualize. Automatisez les tests d'API fonctionnels et stabilisez les dépendances pour accélérer les activités de conformité à la norme IEC 61508.
Économies de temps et d'argent
Réduisez le temps et le coût de mise en conformité avec la norme IEC 61508. Automatisez les tâches à forte intensité de main-d'œuvre avec nos solutions, qui fournissent des informations ciblées.
Tests matériels et logiciels ciblés
Assurez des performances logicielles précises et fiables lorsqu'elles sont intégrées au matériel réel. Utilisez nos solutions de test C/C++ pour tester le logiciel sur le matériel cible réel. C'est indispensable pour détecter les problèmes spécifiques au matériel, valider les hypothèses et répondre aux exigences des conditions réelles.
FAQ - Foire Aux Questions
Documentation associée
Améliorez vos tests logiciels avec les solutions Parasoft.