Réglementation Aéronautique – Certification – Qualité
AED090

Devops pour les logiciels avioniques

Vincent LOUIS : Expert en ingénierie logicielle et systèmes critiques à DGA Techniques aérospatiales (Ministère des Armées)

860 € HT*

Session 1

Programmé
Lieu : TOULOUSE

24 Novembre 2026

1 jour (6 heures)

But

La formation présente une approche moderne pour développer un logiciel avionique en s’appuyant sur les principes DevOps.
– Elle mettra en lumière pour des ingénieurs en développement informatique ou chefs de projet les avantages d’appliquer ce type de méthodes agiles dans un contexte de certification.
– Elle concerne tous les acteurs qui désirent :
– S’initier aux principes essentiels de la méthode DevOps,
– voir des exemples concrets de l’application opérationnelle des principes énoncés.

Esprit Général

Ce stage a pour objectif de rappeler les exigences de certification requises pour développer un logiciel critique dans le but d’illustrer comment y répondre efficacement en utilisant la méthode DevOps. L’intérêt est de présenter les gains de temps et d’argent pouvant être obtenus. Comment satisfaire le besoin de toutes les parties prenantes et notamment le besoin des autorités de certification. De nombreux exemples tirés des domaines militaire, automobile et spatial seront exposés. Une démonstration concrète de l’ajout d’une fonctionnalité pour un logiciel de vérification qualifié sera réalisée durant le stage.

Le stage s’adresse à toutes personnes ayant une première expérience des méthodes agiles (même débutant) et voulant étendre ses connaissances à d’autres techniques similaires.

Prérequis

Niveau de stage : Base
Connaissances générales école d’ingénieur, développement informatique, notion sur les méthodes agiles, certification.

Durée et emploi du temps

Le stage dure une journée (6 heures) avec de nombreuses démonstrations pour illustrer le propos

Sommaire

  • Introduction
  • Quelques rappels :

Principes essentiels pour la certification d’un logiciel critique – socle commun entre les normes, DO-178C, IEC61508, ECSS, ISO26262, EN 5012x…

  • Les méthodes agiles :

Présentation des avantages et limitations de plusieurs méthodes agiles : SCRUM, Test Driven Development, eXtrem Programming et DevOps

  • La méthode DevOps

Détail des principes DevOps pour déployer en continu une application logicielle

  • Illustration contrête

Ajout en mode DevOps d’une fonctionnalité du logiciel Linty (TQL5 DO-330) dont la finalité est la vérification de règles de codage pour les langages VHDL et Verilog

  • Quelques exemples

Inspirés des domaines militaire (DoD Américain), spatial (Space X), automobile (Tesla), aéronautique (Air Data Computer)

  • La Certification Continue

Présentation du concept de « Certification Continue » publié récemment dans la revue Computer in Industry

  • Conclusion

Les formations associées qui pourraient vous intéresser

Demande d'informations

Si vous souhaitez des informations à propos du stage. Vous pouvez utiliser le formulaire ci-dessous