1.
Présentation générale des logiciels aéronautiques 1
1.1.
Contexte et nécessité 1
1.2.
Objet et portée 2
1.3.
Système de droit aérien 3
1.4.
Système de développement de logiciels aéronautiques 4
2.
Guide de développement de logiciels aéronautiques 10
2.1.
Aperçu du développement de logiciels aéronautiques 10
2.
Cycle de vie des systèmes et des logiciels 13
2.1 Aperçu des exigences système 13
2.2.
Attribution des exigences système au logiciel 15
2.3.
Flux d'informations entre les processus du cycle de vie du système et du logiciel 17
2.4.
Processus d'évaluation de la sécurité du système et logiciel de niveau 20
2.5.
Considérations architecturales 25
2.6.
Considérations logicielles dans le processus du cycle de vie du système 28
2.7.
Considérations systémiques relatives aux processus du cycle de vie des logiciels 33
2.8.
Cycle de vie du développement de logiciels aéronautiques 33
3.
Processus de planification logicielle 38
3.1 Objectif de planification logicielle 38
3.2 Activités du processus de planification logicielle 38
3.3 Planification logicielle 40
3.4 Planification de l'environnement du cycle de vie du logiciel 41
3.5 Normes de développement logiciel 44
3.6 Revue du processus de développement logiciel 48
4.
Processus de développement logiciel 49
4.1 Processus des exigences logicielles 50
4.2 Processus de conception logicielle 51
4.3 Processus de codage logiciel 55
4.4 Processus d'intégration 56
4.5 Traçabilité du processus de développement logiciel 57
5.
Processus de vérification logicielle 58
5.1.
Aperçu du processus de vérification logicielle 58
5.2.
Objectif de vérification logicielle 59
5.3.
Aperçu des activités du processus de vérification logicielle 59
5.4.
Revue et analyse de logiciels 60
5.5.
Tests logiciels 67
5.6.
Suivi du processus de vérification logicielle 76
5.7.
Validation des éléments de données des paramètres 78
6.
Processus de gestion de la configuration logicielle 79
6.1.
Objectif 80 du processus de gestion de la configuration logicielle
6.2.
Activités de gestion de la configuration logicielle 81
6.3.
Catégorie de contrôle des données 86
6.4.
Contrôle de charge logiciel 87
6.5.
Contrôle du cycle de vie du logiciel 88
7.
Processus d'assurance qualité logicielle 92
7.1.
Objectif 92 du processus d'assurance qualité logicielle
7.2.
Activités du processus d'assurance qualité logicielle 93
7.3.
Revue de conformité logicielle 95
8.
Processus liés à l'authentification 99
8.1.
Outils de conformité et de planification 99
8.2.
Justification de la conformité 99
8.3.
Données minimales du cycle de vie du logiciel soumises à l'autorité de certification : 100
8.4.
100 données du cycle de vie des logiciels liées à la conception de caractères
9.
Livrables du cycle de vie du logiciel - Données 101
9.1.
Aspect de certification – Planification logicielle 104
9.2.
Plan de développement logiciel 107
9.3.
Plan de vérification logicielle 109
9.4.
Plan de gestion de la configuration logicielle 111
9,5.
Plan d'assurance qualité logicielle 113
9.6.
Norme 113 relative aux exigences logicielles
9.7.
Norme de conception logicielle 114
9.8.
Norme de code logiciel 114
9.9.
Données relatives aux exigences logicielles 115
9.10.
Description du modèle 115
11 septembre.
Code source 116
9.12.
Code objet exécutable 116
9.13.
Cas et procédures de vérification de logiciels 116
9.14.
Résultats de la vérification logicielle 117
9.15.
Indice de forme de l'environnement du cycle de vie du logiciel 117
9.16.
Indice de forme du logiciel 118
9.17.
Rapport de problème 119
9.18.
Enregistrement de gestion de la configuration logicielle 119
9.19.
Enregistrement d'assurance qualité logicielle 119
9.20.
Résumé des réalisations logicielles 120
9.21.
Données de suivi 121
9.22.
Fichier de données de paramètre 121
10.
Considérations supplémentaires relatives à l'authentification 123
10.1.
Utilisation de logiciels précédemment développés 123
10.2.
Reconnaissance d'outils 128
10.3.
Méthode alternative 129
11.
Aperçu du processus d'authentification 133
11.1.
Critères de certification 133
11.2.
Aspects logiciels de l'authentification 133
11.3.
Décision de conformité 133
Annexe 1. Format de livrable DO-178C 136
1.
Plan relatif aux aspects logiciels de la certification (PSAC) 136
2.
Plan de développement logiciel (PDS) 164
3.
Plan de vérification logicielle 187
4.
Plan de gestion de la configuration logicielle 204
5.
Plan d'assurance qualité logicielle 221
6.
Normes relatives aux exigences logicielles 251
7.
Normes de conception logicielle 254
8.
Normes de codage logiciel 257
9.
Données relatives aux exigences logicielles 260
10.
Description de la conception logicielle 262
Annexe 2. DO-178C 10 Objectifs et livrables 264
Annexe 3.
Abréviations et termes 281
Annexe 4.
Exigences, explication supplémentaire 295
Annexe 5.
Note complémentaire de conception 327
Annexe 6.
Explication supplémentaire du codage 339
Annexe 7.
Note complémentaire sur le processus d'intégration 356