DO-178C et DO-254 : pourquoi la certification aérospatiale devient impraticable sans baseline connectée
La certification aérospatiale est l'activité d'ingénierie la plus coûteuse au monde par kilogramme de produit livré. Un benchmark RTCA de 2025 chiffrait la certification logicielle DO-178C niveau A moyenne à 18 à 25 millions d'euros par programme, et la certification matérielle DO-254 pour les ASIC et FPGA complexes à 8 à 15 millions d'euros. Ces chiffres ont à peu près doublé depuis 2015, alors que le contenu d'ingénierie sous-jacent, lui, n'a pas doublé. Le moteur de coût, c'est la preuve de traçabilité, pas la technologie.
Le problème de la preuve
DO-178C exige une traçabilité bidirectionnelle entre exigences système, exigences logicielles, conception, code source et cas de test. DO-254 exige la même chose pour les éléments matériels jusqu'au niveau de la porte logique. Les normes ont été écrites en supposant une chaîne d'artefacts structurée et revisable. En pratique, la plupart des programmes livrent cette chaîne comme une collection de documents Word, de matrices Excel et d'exports DOORS assemblés dans les derniers mois avant le SOI-4.
L'EASA a publié en 2025 un rapport de surveillance pointant les ruptures de traçabilité comme la première cause de retards de certification sur les nouveaux programmes, devant les échecs d'essais et les reprises de conception (EASA Annual Safety Review 2025, section 4.2). L'écart est rarement un artefact manquant. C'est l'incapacité à prouver, à la demande, qu'une ligne de code donnée ou un bloc FPGA donné remonte à une exigence dérivée qui remonte à un objectif de sécurité système.
Ce qui a changé en 2026
Deux évolutions réglementaires ont rendu l'approche manuelle intenable. D'abord, l'EASA et la FAA ont toutes deux mis à jour leurs directives fin 2025 pour exiger une preuve de traçabilité continue sur les mises à jour logicielles au titre des dispositions sur le logiciel chargeable en service, pas seulement à la certification initiale. Ensuite, la montée de l'avionique complexe à base d'IA sous la feuille de route IA de l'EASA (Concept Paper Issue 02, 2025) introduit des exigences de traçabilité sur les données d'entraînement, l'architecture du modèle et la surveillance à l'exécution qu'aucun système documentaire ne peut satisfaire.
Le volet défense ajoute une couche supplémentaire. La DGA française et le DoD américain ont tous deux décidé d'exiger des livrables de Model-Based Systems Engineering sur les nouveaux contrats supérieurs à 50 millions d'euros à compter de 2026 (Instruction DGA 1516, janvier 2026). Le MBSE sans backend connecté n'est que des diagrammes SysML dans un coffre-fort. Avec un backend connecté, il devient la preuve de certification elle-même.
Le coût de la reconstruction de contexte
Le coût caché des programmes aérospatiaux, ce n'est pas l'audit de certification lui-même. C'est le temps d'ingénierie passé à reconstruire le contexte pour chaque revue formelle. Les ingénieurs des programmes niveau A déclarent passer 30 à 40 % de leur temps sur les artefacts de traçabilité plutôt que sur le travail d'ingénierie (NASA TM-2024-001, benchmark de productivité interne). Sur un programme de 200 ingénieurs étalé sur cinq ans, cela représente environ 350 années-personnes de travail évitable.
Une baseline connectée qui détient exigences, architecture, code, éléments matériels et preuves d'essais comme des nœuds interrogeables transforme ce surcoût en une requête. Les revues de Stage of Involvement cessent d'être des efforts de préparation de plusieurs mois pour devenir un rapport d'état sur le système vivant.
Ce que les programmes aérospatiaux devraient faire
Le premier mouvement, c'est de cesser de traiter la traçabilité comme un livrable produit à la fin du cycle en V. Elle doit être une propriété vivante des données d'ingénierie elles-mêmes. Le deuxième mouvement, c'est de consolider la chaîne d'artefacts dans un seul graphe où chaque lien est vérifiable et interrogeable. Le troisième mouvement, c'est d'aligner le dossier de sûreté, la preuve de certification et les données d'ingénierie sur la même source de vérité.
Le positionnement de Koddex
Koddex détient le cycle en V complet comme un graphe connecté : exigences système, éléments logiciels et matériels, artefacts de conception, preuves de vérification et objectifs de sécurité. La traçabilité DO-178C et DO-254 cesse d'être un exercice d'urgence trimestriel pour devenir une capacité vivante. Les programmes aérospatiaux qui tournent sur Koddex dépensent leur budget de certification sur la qualité d'ingénierie, pas sur la reconstruction de chaînes de preuves sous la pression des délais.
