DO-178B 135507 28795943 2008-04-19T17:33:23Z Dhatier 269771 ortho {{Ébauche|aéronautique}} La norme [[DO-178B]] ''Software considerations in airborne systems and equipment certification'', éditée par [[RTCA Inc.]], fixe les conditions de sécurité applicables aux [[logiciel critique|logiciels critiques]] de l'[[avionique]] dans l'[[aviation commerciale]] ou l'[[aviation générale]]. Elle précise notamment les contraintes de développement liées à l'obtention de la certification d'un logiciel d'avionique. == Définition des niveaux de criticité == Elle présente 5 niveaux de criticité (de A à E) définis comme suit : * Niveau A : Problème catastrophique - Sécurité du vol ou atterrissage compromis - Crash de l'avion * Niveau B : Problème majeur entraînant des dégâts sérieux voire la mort de quelques occupants * Niveau C : Problème sérieux entraînant un dysfonctionnement des équipements vitaux de l'appareil * Niveau D : Problème pouvant perturber la sécurité du vol * Niveau E : Problème sans effet sur la sécurité du vol == Objectifs à atteindre == Plus le niveau de criticité est proche du niveau A, plus le nombre d'objectifs à tenir est élevé. Ainsi : * Niveau E : **Le développement logiciel n'est soumis à aucune contrainte particulière. * Niveau D : **Le logiciel doit être documenté ; la liste de documents à fournir est fixée par la norme (voir plus bas). **Préalablement au développement, des plans doivent être établis pour fixer les méthodes de développement, de vérification, de [[gestion de configuration]], d'assurance qualité. **Il faut assurer et vérifier la traçabilité entre les spécifications du système, les spécifications de haut niveau du logiciel, et les vérifications. **Tout ce qui est spécifié doit être formellement vérifié : la couverture fonctionnelle doit être assurée. Les documents doivent aussi être formellement vérifiés. **Le logiciel doit être [[gestion de configuration|géré en configuration]], par exemple toutes les évolutions du code source doivent être justifiées **Un service Qualité indépendant doit assurer le respect de la norme en inspectant les sorties du cycle de vie du logiciel. * Niveau C : en plus des contraintes du niveau D : **Des règles de développement doivent être fixées au préalable (sur les phases de spécification, conception et codage) **Les contraintes de traçabilité et de vérification s'appliquent également aux phases de conception et de codage du logiciel. **Les exigences de bas niveau (ou exigences de conception) doivent être formellement vérifiées. **La couverture structurelle, ou [[couverture de code]], doit être vérifiée et analysée : toutes les instructions du code doivent avoir été exécutées et testées, tous les écarts doivent être justifiés. Ces contraintes amènent souvent à devoir passer des [[Test_unitaire|tests unitaires]]. * Niveau B : en plus des contraintes du niveau C : ** La [[couverture de code]] au niveau "condition" est requise. ** Les activités de développement et de vérification doivent être confiées à des équipes indépendantes. * Niveau A : en plus des contraintes du niveau B : ** La [[couverture de code]] au niveau "condition"/"décision" est requise. == Documents à fournir == Les processus liés au développement de logiciels embarqués aéronautiques soumis à la norme DO-178B s'accompagnent de l'édition de plusieurs documents (les titres sont donnés à titre indicatif) : Avant le développement, phase de planification : * Plan des aspects logiciels relatifs à la certification : en particulier ce document précise le niveau de criticité retenu, et par quels moyens on prévoit de remplir les objectifs de la norme DO-178B * Plan de développement logiciel * Plan de vérification du logiciel * Plan de gestion de configuration du logiciel * Plan d'assurance qualité du logiciel * Règles de spécifications du logiciel * Règles de conception du logiciel * Règles de codage du logiciel Concernant le processus de développement proprement dit : * Spécifications des exigences du logiciel * Description de la conception du logiciel Concernant le processus de vérification : * Cas et procédures de vérification du logiciel * Résultats de la vérification du logiciel : ** Résultats de tests unitaires ** Résultats de tests d'intégration ** Résultats de tests ** Analyse de la [[couverture de code]] ** Revue de chaque document du logiciel Concernant le processus de gestion de configuration : * Index de la configuration du logiciel * Index de l'environnement du cycle de vie du logiciel Concernant le processus d'assurance qualité : * Enregistrements relatifs à la qualité * Compte-rendu de revue de conformité * Résumé des travaux réalisés == Voir aussi == Cette norme possède son équivalent dans le domaine du développement électronique, connue sous l'identifiant : DO-254. La norme parente à ces deux normes est une recommandation relative au traitement des analyses de sécurité en aéronautique : ARP4754. {{Portail|aéronautique}} [[Catégorie:Technologie aéronautique]] [[Catégorie:Système embarqué]] [[de:DO-178B]] [[en:DO-178B]] [[ko:DO-178B]]