Normes de sûreté 3 jours (21 h)

DO-178C (Aéronautique)

Maîtrisez l'approche de cycle de vie fondée sur l'assurance pour le logiciel embarqué critique pour la sûreté définie par la RTCA DO-178C.

Description de la formation

Cette formation permet d’assimiler les principes fondamentaux de la démarche fondée sur l’assurance des processus du cycle de vie des logiciels embarqués critiques pour la sécurité, définie par la RTCA DO-178C.

Objectifs pédagogiques

À l’issue de la formation, l’apprenant sera capable de :

Contextualiser la portée de la DO-178C dans les activités de certification des aéronefs et systèmes (navigabilité initiale) ;
Connaître les principes généraux de l’assurance du cycle de vie des logiciels embarqués critiques pour la sécurité ;
Exploiter les tableaux des objectifs définis par la DO-178C en fonction du niveau logiciel (IDAL) ;
Faire le lien avec les autres normes et documents de référence du domaine.

Programme de la formation

Présentation du contexte réglementaire
- AMC 20-115D & EASA CM (SoI)
Le processus d’ingénierie des systèmes aéronautiques et de l’assurance de leur développement
Présentation des principes généraux de la DO-178C
- Cycle de vie système / cycle de vie logiciel
- Interactions entre cycles de vie (SW, HW et système)
Le processus de planification du logiciel
- Rôle des plans et des standards de développement
- Définition des activités du processus de planification et des objectifs associés
Les processus de développement du logiciel
- Gestion des exigences (HLR, HLR dérivées)
- Conception (LLR, LLR dérivées et architecture)
- Programmation (code source)
Le processus de vérification du logiciel
- Analyses et revues des processus de développement
- Campagnes de tests et couverture structurelle du code (couplages, MC/DC)
Le processus de gestion de configuration du logiciel
Le processus d’assurance qualité du logiciel (SQA)
Le processus de liaison en matière de certification