Modèles de plans, de normes et de listes de vérification
Modèles pour DO-178C / ED-12C
Les modèles de processus et les listes de contrôle ont été rédigés par AFuzion et sont utilisés dans le cadre de divers projets de certification dans le monde entier. Ces modèles constituent la base du développement et de la certification de logiciels aéronautiques conformément à la norme RTCA DO-178C ou à son équivalent EUROCAE ED-12C.
La norme DO 178C/ED-12C exige des documents de planification et de cycle de vie des logiciels pour la certification, la sécurité, les exigences, la conception, la gestion de la configuration, l'assurance de la qualité, la validation et la vérification. L'utilisation de ces modèles pour la génération des documents requis facilite grandement leur préparation et leur approbation ultérieure.
En outre, la DO 178C/ED-12C exige des examens, des audits et la preuve de leur réalisation. La meilleure preuve de leur réalisation est de compléter une liste de contrôle détaillée et complète couvrant les principales activités de planification et de développement du cycle de vie du logiciel.
La création des documents de planification et de cycle de vie du logiciel et des listes de contrôle de révision à partir de zéro est une tâche qui demande beaucoup de travail et qui est sujette à des erreurs. L'utilisation des modèles fournis simplifie considérablement cet effort et réduit les erreurs commises lors de la réalisation d'une activité pour la première fois.
ARP 4754A / ED-79A Modèles de plans et de normes
Plan pour les aspects logiciels de la certification
Plan d'assurance qualité des logiciels
Plan de gestion de la configuration des logiciels
Plan de développement de logiciels
Plan de vérification du logiciel
Plan de qualification des outils
Norme relative aux exigences logicielles
Norme relative aux exigences des systèmes et des logiciels
Norme de conception des logiciels
Norme de codage des logiciels
Norme de codage du logiciel C
Index de configuration du logiciel (SCI/SECI)
Résumé des réalisations logicielles
Logiciel de matrice de traçabilité
ARP 4754A / ED-79A Modèles de liste de contrôle
Liste de contrôle des aspects logiciels de la certification
Liste de contrôle du plan d'assurance qualité des logiciels
Liste de contrôle du plan de gestion de la configuration des logiciels
Liste de contrôle du plan de développement de logiciels
Liste de contrôle du plan de vérification du logiciel
Liste de contrôle de la norme sur les exigences logicielles
Liste de contrôle des normes de conception des logiciels
Liste de contrôle de la norme de codage des logiciels
Liste de contrôle de l'index de configuration du logiciel
Liste de contrôle des exigences logicielles
Liste de contrôle des données de conception du logiciel
Liste de contrôle pour l'examen du code source
Liste de contrôle des procédures de test de logiciels
Liste de contrôle des résultats de la vérification du logiciel
Liste de contrôle pour l'analyse de la vérification des logiciels
Liste de contrôle de l'environnement logiciel et de l'index de configuration
Liste de contrôle du résumé des réalisations logicielles
Liste de contrôle de l'étape d'implication n°1
Liste de contrôle de l'étape d'implication n°2
Liste de contrôle de l'étape d'implication n°3
Liste de contrôle de l'étape d'implication n°4