Solutions
Secteurs
Ressources
À propos
Conformité DO-178C pour les logiciels avioniques avec CppDepend
Comment CppDepend aide les équipes avioniques à satisfaire les objectifs DO-178C : analyse structurelle du code, application des standards de conception, traçabilité et preuves de vérification DAL A–E.
Ce que CppDepend prend en charge nativement. CppDepend embarque des jeux de règles intégrés pour MISRA C/MISRA C++, CWE, CERT C/CERT C++ et AUTOSAR C++14 — et aucune autre norme. Toutes les autres normes, y compris celle-ci, sont appliquées via des règles CQLinq personnalisées que votre équipe rédige (avec notre aide si besoin), plus la validation d’architecture et les quality gates CI.
DO-178C (Software Considerations in Airborne Systems and Equipment Certification) est la norme de référence pour les logiciels avioniques commerciaux. Elle attribue des Design Assurance Levels (DAL A–E) selon la gravité des défaillances et définit des objectifs de planification, développement, vérification et gestion de configuration. Pour les niveaux les plus élevés, les autorités de certification attendent une vérification rigoureuse et outillée — incluant l’analyse statique du code source.
Objectifs DO-178C liés à l’analyse statique
- Conformité aux standards de codage : les exigences de bas niveau doivent être implémentées sous un standard de codage appliqué (de nombreux programmes utilisent MISRA C ou des règles dérivées de JSF).
- Exactitude et cohérence du code source : correspondance vérifiable entre exigences de bas niveau et code.
- Robustesse : détection de code inaccessible, d’anomalies de flux de données et de complexité dépassant les seuils révisables.
- Traçabilité : chaque résultat d’analyse doit être reproductible et lié au dossier de vérification.
Comment CppDepend soutient les programmes DO-178C
- Application du standard de codage : règles MISRA C/C++ intégrées plus règles CQLinq personnalisées pour formaliser votre standard de codage spécifique au programme et des contraintes de type JSF++.
- Contrôle de l’architecture : vérifiez que le partitionnement logiciel et les dépendances inter-composants correspondent à la conception — avec signalement automatique des cycles de dépendances.
- Métriques pour les revues : complexité cyclomatique, couplage et cohésion exportés pour les audits SOI et les revues d’implication.
- Analyse déterministe et reproductible : mêmes entrées, mêmes résultats — essentiel pour les preuves de certification.
- Intégration CI : exécutez les mêmes contrôles que les développeurs en local dans le pipeline de build certifié.
Secteurs & études de cas associés
- Étude de cas : DO-178C et contrôle d’architecture en avionique
- Étude de cas : sécurité dans le firmware embarqué
Normes de codage associées
Découvrez ce que CppDepend révèle dans votre codebase
Lancez l’analyse sur vos propres projets : standards de codage, validation d’architecture, dette technique et quality gates — en quelques minutes.