Vers une certification continue des logiciels critiques en aéronautique

INTRODUCTION

1 - CRITICITÉ ET CERTIFICATION CONTINUE

2 - CONTEXTE ET ÉTAT DES PRATIQUES

• 2.1 - Introduction à la safety
• 2.2 - Certification de systèmes critiques : pourquoi, comment ?
• 2.3 - Mission de la Direction Générale de l’Armement en tant qu’Autorité Technique
• 2.4 - Panorama des normes et processus de certification
  Figure 1 - Liste des postes ouverts en février 2019 au centre technologique de la société Uber obtenus avec la recherche par mot-clé « DO-178 »
• 2.5 - Réglementation et exigences en aéronautique

  • Quiz d'entraînement
  Figure 2 - Cadre réglementaire aéronautique Tableau 1 - Relation entre la sévérité des effets et la classification des [...] Tableau 2 - Relation entre la classification des événements redoutes et la [...] Tableau 3 - objectifs de la norme DO-178C versus niveau d’assurance de développement Tableau 4 - Niveau de risque du projet [LOI 2017] Tableau 5 - Identification de la classe de risque Tableau 6 - Niveau d’implication de l’EASA [LOI 2017]
• 2.6 - Analyse des postures et pratiques industrielles dans un contexte de certification
  Figure 3 - Distribution des coûts de développement des logiciels – Document interne DGA Techniques aéronautiques Figure 4 - Nombre de lignes de code produites par jour versus niveau d’assurance de développement [16] Tableau 7 - Évolution du coût versus niveau d’assurance de développement
• 2.7 - Vers une certification continue

3 - CERTIFICATION ET DÉVELOPPEMENT LOGICIEL POUR LES SYSTÈMES AÉRONAUTIQUES CRITIQUES

• 3.1 - Un processus d’ingénierie logicielle contraint par les exigences de certification
  Figure 5 - Cycle de vie logiciel classique Tableau 8 - Métriques qualité logicielles dans le domaine spatial
• 3.2 - Critical software development & verification process

  • Quiz d'entraînement
  Figure 6 - Différence entre Validation et Vérification (DO-254) Figure 7 - Comparaison de différentes normes d’ingénierie logicielle (le vert symbolise des objectifs peu contraignants, jusqu’au rouge qui représente des objectifs très contraignants)
• 3.3 - Assurance de développement, assurance qualité et certification
• 3.4 - Certification aéronautique telle que vécue et pratiquée par les industriels dans l’aéronautique
  Figure 8 - Cycle de développement illustré dans RTCA DO-178C 2012 (Figure 3-1 de la norme)

4 - COMMENT AMÉLIORER LE PROCESSUS DE CERTIFICATION DES LOGICIELS ?

• 4.1 - Ingénierie dirigée par les modèles
• 4.2 - Intégration continue
  Figure 9 - Flux d’Intégration Continue Figure 10 - Processus de développement continu

5 - CERTIFICATION CONTINUE À TRAVERS L’INTRODUCTION DE L’AGILITÉ POUR LES LOGICIELS CRITIQUES

• 5.1 - Limites des approches traditionnelles
  Figure 12 - Schéma simplifié d’un cycle en V [44]
• 5.2 - Agilité en développement logiciel
• 5.3 - Scénario général d’un développement logiciel agile
  Figure 13 - Processus agile
• 5.4 - Intérêts de l’agilité dans un processus de développement de logiciels soumis à certification
• 5.5 - Initiatives actuelles
• 5.6 - Verrous

  • Quiz d'entraînement
  Tableau 9 - Valeurs agiles versus Recommandations clefs de la DO-178C adapté de [53]

6 - CONCLUSION ET PERSPECTIVES

TEST DE VALIDATION