Aperçu des normes et de la conformité
Le développement de logiciels embarqués réglementés s’inscrit dans le cadre de deux ensembles d’exigences parallèles. Les normes de Sûreté de Fonctionnement définissent les activités de vérification à mener et les preuves à fournir. Les directives de codage définissent la manière dont le code source doit être rédigé afin d’éviter les catégories de défauts que ces normes visent à prévenir. Ces deux aspects ont une valeur juridique et contractuelle, et nécessitent tous deux des outils eux-mêmes qualifiés pour produire des résultats acceptables par les autorités de certification.
PC-lint Plus est certifié par exida selon les normes ISO 26262, CEI 61508 et CEI 62304. L’outil de mesure de couverture VectorCAST est certifié par le TÜV pour l’ensemble des principales normes de Sûreté de Fonctionnement. Associés à Squore pour la surveillance continue de la qualité, ils couvrent l’intégralité des exigences du développement embarqué réglementé.
Normes de sûreté de Fonctionnement
Les principales normes de sûreté de fonctionnement sont toutes fondées sur l'approche par les risques. Chacune d'entre elles définit un système de classification, impose des exigences de vérification des logiciels proportionnelles à la classification des risques et exige que ces activités fassent l'objet de preuves documentées et traçables. La terminologie et la structure spécifiques varient d'un secteur à l'autre, mais les obligations sous-jacentes sont cohérentes.
ISO 26262
La norme ISO 26262 s'applique aux systèmes électriques et électroniques des véhicules routiers. La classification des risques va de l'ASIL A à l'ASIL D, les exigences de couverture structurelle incluant les MC/DC au niveau le plus élevé.
RTCA/DO-178C
La normeDO-178C est la principale norme de certification applicable aux logiciels embarqués. Les niveaux d'assurance du développement vont de A à D, le niveau A exigeant une couverture MC/DC pour toutes les décisions.
IEC 61508
La norme CEI 61508 est la norme fondamentale en matière de sûreté de fonctionnement industrielle et sert de référence à la norme ISO 26262, à la norme EN 50716 ainsi qu'à plusieurs autres normes sectorielles. Les niveaux de sûreté de fonctionnement vont du SIL 1 au SIL 4.
IEC 62304
La norme CEI 62304 s'applique aux logiciels utilisés dans les dispositifs médicaux et classe les composants selon les classes de sûreté de fonctionnement A, B ou C. La classe C impose les obligations de vérification les plus strictes, notamment en matière de couverture structurelle et de traçabilité des exigences.
EN 50716
La norme EN 50716 couvre les applications relatives aux systèmes de commande et de protection ferroviaires, ainsi qu'au matériel roulant. Cette norme est dérivée de la norme CEI 61508 et a été adaptée aux exigences spécifiques au secteur ferroviaire.
IEC 60880
La norme CEI 60880 régit les aspects logiciels des systèmes informatiques utilisés dans les centrales nucléaires. Elle s'applique aux fonctions de catégorie de Sûreté de Fonctionnement A, conformément à la norme CEI 61226.
Directives en matière de programmation et de sécurité
Les normes de sûreté de fonctionnement précisent les activités de vérification qu’un projet doit mener. Les directives de codage indiquent comment le code source doit être rédigé afin d’éviter les catégories de défauts qui compliquent la vérification et qui introduisent des risques pour la sûreté de fonctionnement et la sécurité avant même le début des tests.
Les directives les plus largement adoptées pour le développement en C et C++ embarqué dans des applications critiques pour la sûreté de fonctionnement sont MISRA C et MISRA C++, AUTOSAR C++ pour les logiciels d’ECU automobiles, CERT-C pour les pratiques de codage axées sur la sécurité, et CWE pour le recensement des vulnérabilités, notamment les listes CWE Top 25 et Top 10 KEV. PC-lint Plus prend en charge l’ensemble de ces normes dès son installation et garantit leur respect grâce à une analyse statique à chaque compilation.
Qualification et certification des outils
La qualification des outils est une exigence obligatoire au titre des normes CEI 61508, ISO 26262 et DO-178C. Les résultats d'un test effectué avec un outil non qualifié n'ont aucune valeur probante, quelle que soit leur teneur.
PC-lint Plus est certifié par exida selon les normes ISO 26262:2018 (ASIL D), CEI 61508:2010 (SIL 4) et CEI 62304. Les résultats de mesure de couverture de VectorCAST sont certifiés par le TÜV. Ces deux outils sont fournis avec la documentation de qualification requise pour les utiliser comme outils de vérification conformément à ces normes.
| Secteur d'activité | Norme | VectorCAST | PC-lint Plus |
| Automobile | ISO 26262 | Certifié TÜV, ASIL A-D | certifié exida, ASIL A-D |
| Aérospatiale | RTCA/DO-178C, RTCA/DO-330 | Certifié TÜV, tous les niveaux DAL, y compris MC/DC pour le niveau A. Des kits de qualification sont disponibles sur demande. | ✗ |
| Automatisation industrielle | IEC 61508 | Certifié TÜV, SIL 1 à 4 | certifié exida, SIL 1 à 4 |
| Dispositifs médicaux | IEC 62304 | Certifié TÜV | Certifié exida |
| Ferroviaire | EN 50716 | Certifié TÜV | Certifié exida |
| Centrales nucléaires | IEC 60880 | Certifié TÜV | ✗ |