Processus IndustrielsAéronautiqueSpatialDéfense ATM / ATCFerroviaire et TransportNucléaire

 

 

 

 

RTCA DO178C / ED12C: 2011, DO248 /ED-94C:2011
Assurance Qualité pour les Logiciels Embarqués

 

PRÉSENTATION

La DO-178 / ED-12 est le standard international qui régit le développement des logiciels critiques embarqués sur aéronefs. Ce document fournit des recommandations sur tous les aspects de l’ingénierie des logiciels critiques embarqués, en adoptant une 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 les problématiques liées à l’utilisation de techniques spécifiques telles que le MBSE, les méthodes formelles ou autres.  Le but de cette formation est de comprendre les objectifs du DO-178C / ED-12C et permettre de concilier au mieux contraintes de certifications et contraintes industrielles.

 

PUBLIC CONCERNE & PRÉREQUIS

Cette formation est destinée à toute personne, impliquée dans le développement de logiciel pour systèmes de bord à haute intégration ou complexes. Cette formation s’adresse, en particulier, aux chefs de projets, aux responsables logiciels, aux ingénieurs méthodes, aux responsables de certification des systèmes embarqués et aux responsables assurance qualité. Des connaissances générales en génie logiciel ou en assurance qualité logiciel seraient un plus.

 

OBJECTIFS

Ces objectifs seront mis en œuvre en fonction du prérequis recueilli par questionnaire auprès des demandeurs

  • Présenter les exigences s’appliquant au logiciel pour système embarqué
  • Faire comprendre les motivations ainsi que les impacts
  • Présenter la complémentarité entre certification du logiciel et certification système
  • Présenter la démarche à appliquer pour une qualification et une certification de logiciel embarqué sur avion civil
  • Présenter comment adapter cette démarche dans les cas particuliers prévus par la norme (codage automatique, réutilisation de logiciel, …). 

 

CONTENU

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