Sécurité fonctionnelle et normes industrielles

Exigences de sécurité critiques satisfaites par des outils Vector certifiés

Chaque norme de sécurité fonctionnelle s'articule autour d'un système de classification des risques. Cette classification détermine la gravité des dommages potentiels, attribue un niveau d'intégrité correspondant au logiciel et impose des activités de vérification proportionnées à ce niveau. La terminologie spécifique varie d’un secteur à l’autre : ASIL selon la norme ISO 26262, DAL selon la norme DO-178C, SIL selon les normes CEI 61508 et EN 50716, mais les obligations de vérification sont les mêmes : tests basés sur les exigences, mesure de la couverture structurelle, qualification des outils et traçabilité documentée.

ISO 26262 : Automobile

La norme ISO 26262 est la norme internationale relative à la sécurité fonctionnelle des systèmes électriques et électroniques des véhicules routiers. Sa deuxième édition, publiée en 2018, s'applique aux voitures, camions, bus, véhicules utilitaires et motos.

Chaque projet de développement débute par une analyse des dangers et une évaluation des risques (HARA), qui détermine le niveau d’intégrité de sécurité automobile (ASIL) pour les fonctions liées à la sécurité. L’ASIL va de A (risque résiduel le plus faible) à D (risque résiduel le plus élevé), avec un niveau QM (gestion de la qualité uniquement) pour les logiciels non liés à la sécurité.

Les exigences de vérification évoluent en fonction de l’ASIL. Au niveau ASIL D, une couverture des instructions, des branches et des MC/DC est requise, ainsi qu’une traçabilité bidirectionnelle des exigences et des tests unitaires structurés. Aux niveaux ASIL inférieurs, les critères de couverture et les recommandations méthodologiques sont progressivement assouplis.

Prise en charge de l'outil Vector pour la norme ISO 26262

  • PC-lint Plus est certifié par exida conforme à la norme ISO 26262:2018 pour les niveaux ASIL A à D
  • La mesure de couvertureVectorCAST est certifiée par le TÜV pour tous les niveaux ASIL ; le mode « Industry Mode » sélectionne automatiquement les critères de couverture adaptés à chaque niveau ASIL
  • Squore regroupe les données de conformité à la norme ISO 26262 issues de l’ensemble de la chaîne d’outils, y compris les résultats MISRA, les résultats de test et les métriques de couverture

DO-178C : Aérospatiale

La norme DO-178C, intitulée « Considérations relatives aux logiciels dans la certification des systèmes et équipements embarqués », constitue la norme principale régissant l’homologation des systèmes aérospatiaux commerciaux basés sur des logiciels. Publiée conjointement par la RTCA et l’EUROCAE, elle a remplacé la norme DO-178B en 2012.

La norme DO-178C définit des niveaux d’assurance de développement (DAL) allant de A (conséquences catastrophiques en cas de défaillance) à D (conséquences mineures). Le cœur du processus de développement repose sur une approche basée sur les exigences, avec une traçabilité bidirectionnelle complète depuis les exigences de haut niveau et les exigences de bas niveau jusqu’au code source, au code objet exécutable, ainsi qu’aux cas de test, aux procédures et aux résultats.

Les logiciels de niveau A exigent une couverture MC/DC pour toutes les décisions. Il s’agit là de l’une des exigences de couverture structurelle les plus strictes de toutes les normes, et c’est un facteur clé des capacités d’automatisation MC/DC de VectorCAST.

Prise en charge de l'outil Vector pour la norme DO-178C

  • VectorCAST : mesure de la couverture certifiée TÜV, incluant les modes MC/DC, traçabilité bidirectionnelle des exigences via Requirements Gateway, rapports prêts pour la certification pour tous les niveaux DAL
  • Squore : suivi de la couverture des exigences et contrôle de l'exhaustivité tout au long du projet

IEC 61508 : Industriel

La norme CEI 61508 est la norme internationale de référence en matière de sécurité fonctionnelle des systèmes électroniques programmables. Elle s'applique aux applications industrielles, notamment aux systèmes de contrôle d'usine, à l'automatisation des procédés dans les usines chimiques et à tout autre système programmable lié à la sécurité non couvert par une norme sectorielle spécifique.

La norme CEI 61508 est structurée en sept parties. La partie 3 traite des exigences logicielles et définit le cycle de vie de la sécurité logicielle, y compris la validation et la vérification. La norme définit les niveaux d’intégrité de sécurité (SIL) allant de SIL 1 à SIL 4. À partir du niveau SIL 2, l’utilisation d’outils certifiés est fortement recommandée. Aux niveaux SIL 3 et SIL 4, elle devient de fait obligatoire pour garantir la conformité dans la pratique.

La norme CEI 61508 sert également de base à la norme ISO 26262, à la norme EN 50716 et à plusieurs autres normes sectorielles.

Prise en charge de l'outil Vector pour la norme CEI 61508

  • PC-lint Plus : certifié par exida selon la norme CEI 61508:2010 pour les niveaux SIL 1 à SIL 4 (qualifié pour le niveau SIL 4)
  • VectorCAST : mesure de couverture certifiée par le TÜV ; le mode « Industry Mode » sélectionne les critères appropriés en fonction du niveau SIL

IEC 62304 : Dispositifs médicaux

La norme CEI 62304 régit le processus du cycle de vie des logiciels destinés aux dispositifs médicaux. Elle classe les composants logiciels en trois classes de sécurité : la classe A (aucun risque de blessure ou de dommage), la classe B (risque de blessure non grave) et la classe C (risque de blessure grave ou de décès).

Les exigences de vérification varient en fonction de la classe. Les logiciels de classe C nécessitent les activités de vérification les plus rigoureuses, notamment des tests unitaires avec mesure de la couverture structurelle et traçabilité des exigences. Tout composant logiciel susceptible d’affecter la sécurité des patients doit être identifié, classé et vérifié en conséquence.

Prise en charge de l'outil Vector pour la norme CEI 62304

  • PC-lint Plus : certifié par exida selon la norme CEI 62304
  • VectorCAST : prend en charge les tests basés sur les exigences et la couverture structurelle pour les composants logiciels de classe B et de classe C

EN 50716 : Chemins de fer

La norme EN 50716:2023 régit les logiciels destinés aux systèmes électroniques critiques pour la sécurité dans les applications ferroviaires ; elle remplace les normes EN 50128:2011 et EN 50657:2017. Elle découle de la norme CEI 61508 et est adaptée aux exigences spécifiques des applications de signalisation, de commande, de protection et de matériel roulant ferroviaires. Les niveaux d’intégrité logicielle vont de SIL 0 à SIL 4. La couverture MC/DC est requise au niveau SIL 4.

Prise en charge de l'outil Vector pour la norme EN 50716

  • PC-lint Plus : certifié par exida
  • VectorCAST : mesure de couverturecertifiée TÜV conforme à la norme EN 50716:2023, prend en charge les circuits MC/DC pour la conformité au niveau SIL 4

IEC 60880 : Nucléaire

La norme CEI 60880:2006 s'applique aux logiciels destinés aux systèmes d'instrumentation et de contrôle informatisés des centrales nucléaires assurant des fonctions de sûreté de catégorie A. Cette norme définit les exigences relatives à l'ensemble des activités du cycle de vie des logiciels et son champ d'application est similaire à celui de la partie 3 de la norme CEI 61508. Les exigences en matière de vérification comprennent les tests basés sur les exigences, la mesure de la couverture structurelle (y compris MC/DC) et la traçabilité documentée tout au long du cycle de vie du logiciel.

Prise en charge de l'outil Vector pour la norme CEI 60880

  • VectorCAST : mesure de couverturecertifiée par le TÜV , conforme à la norme CEI 60880:2006, prenant en charge la couverture MC/DC pour la conformité à la catégorie A

Qualification des outils : pourquoi est-ce important ?

2026_VectorCAST_Visual_general_1920x1080px_RGB_LIGHT.jpg

Les normes telles que la CEI 61508, l’ISO 26262 et la DO-178C exigent que les outils utilisés dans le processus de vérification soient eux-mêmes qualifiés ou certifiés. Un résultat de test ou une conclusion d’analyse statique n’est acceptable comme preuve de conformité que si l’outil qui l’a généré peut démontrer qu’il fonctionne correctement et de manière cohérente.

La qualification d’un outil polyvalent en vue de son utilisation dans le cadre de ces normes représente un effort considérable. Les outils certifiés spécifiquement pour la conformité vous déchargent entièrement de cette charge.

PC-lint Plus est certifié par exida pour une utilisation en matière de sécurité fonctionnelle conformément aux normes ISO 26262, CEI 61508, CEI 62304 et EN 50716. Les documents de certification sont disponibles et inclus dans la licence standard.

Les résultats de mesure de couverture de VectorCAST sont certifiés par le TÜV. Les « Industry Modes » garantissent que les critères de couverture appropriés sont automatiquement appliqués pour chaque norme et chaque niveau d’intégrité. Les documents de certification sont disponibles en ligne et les kits de qualification sont facilement accessibles sur simple demande.