DO-178B

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant l'aéronautique.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

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 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.

[modifier] 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

[modifier] 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 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 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.

[modifier] 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 :