Sécurité fonctionnelle IEC 61508 pour les logiciels industriels avec CppDepend

IEC 61508 est la norme-cadre de sécurité fonctionnelle pour les systèmes de sécurité électriques, électroniques et électroniques programmables. Elle sous-tend les normes sectorielles de l’énergie, des industries de process, du ferroviaire et des machines, et définit les Safety Integrity Levels (SIL 1–4). Pour le logiciel, IEC 61508-3 recommande l’analyse statique, les standards de codage et la programmation défensive — avec une rigueur croissante selon le SIL.

Exigences logicielles IEC 61508-3

• Standards et sous-ensembles de codage : utilisation de sous-ensembles de langage plus sûrs (ex. MISRA C) avec application démontrée.
• Analyse statique : détection de défauts, de code inaccessible et d’anomalies de flux de données dans le cadre de la vérification.
• Modularité et complexité limitée : taille et complexité des modules bornées, adaptées au SIL.
• Analyse d’impact des changements : évaluation objective des modifications tout au long du cycle de vie de sécurité.

Comment CppDepend soutient les projets IEC 61508

• Jeux de règles MISRA/CERT intégrés pour le pilier standard de codage, plus des règles CQLinq personnalisées pour les contraintes propres au projet.
• Budgets de complexité : imposez des seuils de complexité par fonction et par module, alignés sur vos objectifs SIL.
• Validation d’architecture : prouvez la séparation entre composants logiciels de sécurité et non-sécurité.
• Analyse d’impact : les diffs de baseline montrent exactement ce qui a changé entre deux cycles de vérification.
• Quality gates dans la CI : bloquez automatiquement les régressions à chaque build de la codebase de sécurité.

Secteurs & études de cas associés

• Étude de cas : fiabilité des systèmes énergétiques critiques
• Étude de cas : sécurité dans le firmware embarqué

Normes de codage associées

MISRA C · ISO 26262 · IEC 62304 · DO-178C