Démystifiez-le qui, quoi, quand et pourquoi de la conformité réussie à la norme DO-178C
trait de séparation
Temps de lecture : 6 minutes
Le document DO-178C/ED-12C (ci-après DO-178C) est le principal document référencé par les autorités de certification, notamment la Federal Aviation Administration (FAA), l'Agence européenne de la sécurité aérienne (AESA) et Transports Canada, pour approuver tous les systèmes avioniques commerciaux basés sur des logiciels pour l'aviation civile. Le document est publié conjointement par la RTCA (anciennement le Comité technique radio pour l'aéronautique) et l'Organisation européenne pour l'équipement de l'aviation civile (EUROCAE) .
La vidéo ci-dessous est une introduction à la norme DO-178C « Considérations relatives aux logiciels dans la certification des systèmes et équipements aéroportés » : ce qu'elle est, où elle s'intègre dans le cadre de certification de l'aviation, comment l'utiliser et quand ses documents complémentaires sont appliqués.
La norme DO-178C reconnaît que pour garantir l'exactitude, le contrôle et la confiance dans les logiciels, la sécurité fonctionnelle doit être abordée systématiquement tout au long du cycle de vie du développement logiciel.
- Qu'est-ce que DO-178C ?
- Quelle est la différence entre DO-178C et DO-178B ?
- Quelles autres normes sont liées à la DO-178C ?
- Que signifie DAL dans le contexte de la norme DO-178C ?
- Qu'implique la conformité à la norme DO-178C ?
- Comment LDRA aide-t-il à la conformité à la norme DO-178C ?
- Informations Complémentaires : Téléchargements gratuits du PDF DO-178C
Qu'est-ce que DO-178C ?
La DO-178C est une norme de processus formelle qui couvre l'ensemble du cycle de vie du logiciel ( le processus de planification , le processus de développement et les processus intégraux) afin de garantir l'exactitude et la robustesse des logiciels développés pour les systèmes avioniques civils. Les processus intégraux comprennent les activités de vérification des logiciels, l'assurance qualité des logiciels, l'assurance de la gestion de la configuration et la liaison de certification avec les autorités réglementaires. De plus en plus, les normes développées pour les systèmes avioniques civils, dont la norme DO-178C, sont également reconnues comme les meilleures pratiques dans le secteur de la défense.
Quelle est la différence entre DO-178C et DO-178B ?
En janvier 2012, la norme DO-178C a remplacé la norme DO-178B de longue date comme référence de facto pour le développement de logiciels embarqués dans le secteur de l'aviation civile. Son introduction a amélioré les exigences de sécurité et l'intégration de nouvelles technologies dans les activités de développement et de vérification des systèmes avioniques civils.
Bien que la norme DO-178B soit toujours reconnue et puisse être utilisée pour les projets existants, il est fortement recommandé aux nouveaux projets d'utiliser la norme DO-178C. La FAA recommande aux développeurs d'établir leurs processus de cycle de vie de logiciel conformément à la norme DO-178C.
LDRA a participé activement aux comités DO-178B et DO-178C pendant près de deux décennies. Mike Hennell , PDG de la LDRA, a joué un rôle déterminant dans l'inclusion de plusieurs objectifs de mesure de test dans la norme, notamment ceux relatifs à l'analyse de la couverture structurelle. La suite d'outils LDRA ® a elle-même été un précurseur dans la vérification automatisée pour la certification DO-178B.
Bien que la norme DO-178B soit toujours reconnue et puisse être utilisée pour les projets existants, il est fortement recommandé aux nouveaux projets d'utiliser la norme DO-178C. La FAA recommande aux développeurs d'établir leurs processus de cycle de vie de logiciel conformément à la norme DO-178C.
LDRA a participé activement aux comités DO-178B et DO-178C pendant près de deux décennies. Mike Hennell , PDG de la LDRA, a joué un rôle déterminant dans l'inclusion de plusieurs objectifs de mesure de test dans la norme, notamment ceux relatifs à l'analyse de la couverture structurelle. La suite d'outils LDRA ® a elle-même été un précurseur dans la vérification automatisée pour la certification DO-178B.
Quelles autres normes sont liées à la DO-178C ?
Il existe plusieurs normes et autres documents destinés à être utilisés collectivement dans le développement de systèmes logiciels applicables aux systèmes avioniques civils.
Que signifie DAL dans le contexte de la norme DO-178C ?

DAL est l'abréviation de Design Assurance Level, parfois appelé simplement « niveau ». La norme ARP 4754A stipule que les analyses des risques fonctionnels et les évaluations de la sécurité des systèmes doivent être réalisées avant le développement d'un système.
Un niveau d'assurance de conception (DAL) est attribué en conséquence à ce système et aux sous-systèmes qui implémentent ses exigences matérielles et logicielles. La norme DO-178C fournit ensuite des directives détaillées pour le développement et la vérification des systèmes logiciels embarqués critiques pour la sécurité conformément au DAL attribué, de sorte que l'effort et les dépenses de production d'un tel système de contrôle de vol soient nécessairement plus élevés que ceux nécessaires à la production (par exemple) d'un détecteur de fumée de salle de bain.
Un niveau d'assurance de conception (DAL) est attribué en conséquence à ce système et aux sous-systèmes qui implémentent ses exigences matérielles et logicielles. La norme DO-178C fournit ensuite des directives détaillées pour le développement et la vérification des systèmes logiciels embarqués critiques pour la sécurité conformément au DAL attribué, de sorte que l'effort et les dépenses de production d'un tel système de contrôle de vol soient nécessairement plus élevés que ceux nécessaires à la production (par exemple) d'un détecteur de fumée de salle de bain.
Qu'implique la conformité à la norme DO-178C ?
La norme DO-178C couvre l'ensemble du cycle de vie du logiciel : le processus de planification, le processus de développement et les processus intégrés visant à garantir l'exactitude et la robustesse du logiciel. Les processus intégrés comprennent les activités de vérification du logiciel, l'assurance qualité du logiciel, l'assurance de la gestion de la configuration et la liaison de certification avec les autorités réglementaires.

La norme DO-178C reconnaît que la sécurité des logiciels doit être abordée systématiquement tout au long du cycle de vie du logiciel. Cela implique la traçabilité du cycle de vie, la conception du logiciel, le codage, les processus de validation et de vérification utilisés pour garantir l'exactitude, le contrôle et la confiance dans le logiciel. Plusieurs mécanismes sont définis pour garantir le respect des processus et pour fournir la preuve de ce respect.
Quels sont les documents de planification requis par la norme DO-178C ?
Collectivement, les documents de planification spécifiés dans la norme DO-178C fournissent un cadre complet pour le développement et la certification des logiciels embarqués. Ils visent à garantir que toutes les activités sont planifiées, contrôlées et vérifiées conformément aux exigences, comme suit :
- Plan pour les aspects logiciels de la certification (PSAC) : décrit comment le processus de développement logiciel sera conforme aux exigences de la norme DO-178C.
- Plan de développement logiciel (SDP) : fournit une feuille de route détaillée pour les activités de développement logiciel, les méthodologies de référencement, les normes, l'environnement de développement, les pratiques de gestion de configuration et la planification.
- Plan de vérification du logiciel (SVP) : détaille comment les activités de vérification du logiciel seront menées pour garantir la conformité à la norme DO-178C.
- Plan de gestion de la configuration logicielle (SCMP) : garantit que les pratiques de gestion de la configuration logicielle sont en place.
- Plan d'assurance qualité du logiciel (SQAP) : garantit que les activités d'assurance qualité sont intégrées au processus de développement du logiciel.
- Plan de qualification des outils (TQP) : détaille le processus de qualification des outils utilisés dans le développement et la vérification du logiciel.
Comment LDRA aide-t-il à la conformité à la norme DO-178C ?
La norme DO-178C (en particulier les sections 5.0 et 6.0) exige un développement par étapes avec l'application de techniques de vérification et de validation tout au long du processus pour confirmer la conformité. Les outils de validation et de vérification LDRA (illustrés par la suite d'outils LDRA ) se prêtent à l'intégration avec des outils de développement tiers, offrant ainsi une plate-forme transparente pour le développement d'applications conformes.
- Analyse statique
- Analyse dynamique
- Processeurs multicœurs, temps d'exécution et recherche sur les interférences
- Traçabilité bidirectionnelle des exigences
- Couplage de données et couplage de contrôle (DDCC)
- Couverture de condition/décision modifiée (MC/DC)
- Traçabilité du code source au code objet
- Recueil d'objets probants
- Qualification des outils
- Services de certification
