Vérification des logiciels conformément à la norme CEI 61508-3:2010
La norme CEI 61508 est la norme relative à la Sûreté de Fonctionnement des systèmes électriques, électroniques et électroniques programmables ; sa partie 3 traite spécifiquement des logiciels. Les équipes chargées du développement dans les domaines de l’automatisation industrielle, du contrôle des procédés, de la robotique et des machines lourdes s’appuient sur la norme CEI 61508 ou sur des normes sectorielles qui en découlent. Ce livre blanc établit une correspondance entre les activités de vérification et de validation décrites dans la Partie 3 et les techniques présentées dans les annexes A et B, indique celles qui s’appliquent à chaque niveau de sécurité (SIL) et explique dans quels cas l’automatisation des tests permet de réduire l’effort nécessaire à la production des preuves.
La barre de couverture augmente à chaque SIL
La partie 3 ajoute un type de couverture à la liste des éléments fortement recommandés à chaque niveau, depuis les niveaux d'entrée (SIL 1) jusqu'aux couvertures MC/DC (SIL 4). Cet article explique chaque type, utilise un exemple de condition unique pour illustrer les exigences en matière de couverture des instructions, des branches et des couvertures MC/DC, et montre comment un tableau de vérité généré à partir du code permet d'identifier les paires de tests requises par la couverture MC/DC.
Moins de configuration. Plus de tests.
Cet article montre en quoi l'automatisation des tests permet de gagner du temps dans le cadre des tests unitaires : la configuration de chaque test, son exécution sur votre matériel et la réexécution de tous les tests en cas de modification du code.
Fabriquer le harnais de test
Cet outil génère le pilote de test et les stubs pour le code qui n'existe pas encore, ce qui vous permet de tester chaque unité séparément sans avoir à écrire manuellement le code du harnais de test.
Exécutez-le là où le code s'exécute
Exécutez des tests sur un hôte, un simulateur ou la carte cible à l'aide d'un Runtime Support Package.
Suivi et réexécution
Une passerelle d'exigences relie les exigences aux cas de test, et la suite complète de tests de régression est réexécutée lorsque le code est modifié.
VectorCAST est certifié par TÜV SÜD selon la norme CEI 61508
La partie 3 aborde la manière dont vous établissez la confiance dans vos outils, que ce soit par le biais d'une certification officielle ou d'une confiance renforcée par l'utilisation. Un outil certifié est accompagné de la documentation nécessaire à votre dossier de conformité :
- Certificat délivré par TÜV SÜD
- Exigences opérationnelles de l’outil
- Données de qualification de l’outil
- Analyse de conformité à la norme CEI 61508
Téléchargez le livre blanc
Consultez l'évaluation complète, SIL par SIL
Destiné aux développeurs embarqués, aux ingénieurs de test et aux responsables de la Sûreté de Fonctionnement, ce document couvre l’ensemble des 11 techniques de vérification logicielle présentées dans la Partie 3, notamment l’analyse dynamique, les tests en boîte noire, la traçabilité et l’analyse d’impact.
- Vérification logicielle, analyse dynamique et tests en boîte noire par niveau SIL
- Analyse des valeurs limites, classes d’équivalence et injection d’erreurs
- Table de vérité MC/DC générée à partir du code
Conformité aux normes de sûreté de fonctionnement
PC-lint Plus
