RTCA DO-178C / ED-12C: 2011, DO-248C / ED-94C: 2011 Assurance qualité pour les logiciels embarqués par Star Engineering

Introduction
Le Contexte réglementaire
- la certification
Les principes généraux
Les Aspects Système
Certification système
- Certification logiciel
Les niveaux de logiciel
Les options architecturales
La Planification du Développement
Objectifs et activités
La définition du cycle de vie
Les critères de transition
Les plans et les standards
L'environnement du cycle de vie (méthodes, outils)
Le Processus de Développement
Les processus de base : R, D, C, I
Objectifs et activités de chaque processus
L'influence des niveaux du logiciel
La documentation
Les Activités de Soutien
La vérification
La gestion de configuration
L'assurance qualité
L'influence des niveaux de logiciel
La documentation
La Démonstration de Conformité
La traçabilité des informations
La couverture des vérifications
La documentation
Coordination pour la certification
Les Aspects Particuliers
Les logiciels du commerce
Les logiciels réutilisés
Les outils et l'environnement de développement
Les moyens de conformité spécifiques

La DO
- 178/ ED
- 12 est le standard international qui régit le développement des logicielscritiques embarqués sur aéronefs. Ce document fournit des recommandations surtous les aspects de l'ingénierie des logiciels critiques embarqués, en adoptantune approche orientée processus objectifs. La nouvelle version (C) du document,publiée en décembre 2011, clarifie l'ancienne version et permet d'adresser lesproblématiques liées à l'utilisation de techniques spécifiques telles que leMBSE, les méthodes formelles ou autres. Lebut de cette formation est de comprendre les objectifs du DO
- 178C / ED
- 12C etpermettre de concilier au mieux contraintes de certifications et contraintesindustrielles.