Article de référence | Réf : H8061 v1

Adopter une démarche DevOps pour développer des logiciels embarqués critiques dans le domaine avionique

Auteur(s) : Vincent LOUIS, Claude BARON

Date de publication : 10 mars 2024

Pour explorer cet article
Télécharger l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !

Sommaire

Présentation

Version en anglais En anglais

RÉSUMÉ

Cet article s’intéresse à l'amélioration de la qualité et de la fiabilité du développement de logiciels critiques en avionique, et vise une meilleure intégration plus agile des exigences de certification dans cette démarche. Il propose pour cela un cadre méthodologique, en démontre la conformité aux exigences des normes de certification et suggère un outillage support basé sur des solutions open source et sur étagère pour mettre en œuvre les propositions.

Lire cet article issu d'une ressource documentaire complète, actualisée et validée par des comités scientifiques.

Lire l’article

ABSTRACT

Adopting a DevOps strategy to develop safety-critical embedded software in avionic systems

This article focuses on improving the quality and reliability of safety-critical software development in avionics, and aims at a better and more agile integration of certification requirements in this process. It proposes a methodological framework, demonstrates its compliance with the requirements of certification standards and suggests a support tooling based on open source and off-the-shelf solutions to implement the proposals.

Auteur(s)

INTRODUCTION

La sécurité est la principale préoccupation de l’industrie aéronautique. Un niveau élevé de fiabilité de l’aéronef et de tous ses systèmes, pièces et équipements, doit être démontré par un processus appelé certification. Ce processus est essentiel pour la sécurité dans un système critique, dans lequel une défaillance peut entraîner des blessures, ou la perte de vies humaines. Il définit des exigences réglementaires, décrites dans des normes, imposant des contraintes au développement des avions. Les constructeurs, par le respect de ces exigences, s’engagent à assurer la sécurité des passagers et du personnel à bord, du personnel au sol, et des infrastructures.

La nécessité sociétale d’assurer, et de garantir, la sécurité des biens et des personnes implique ainsi la mise en œuvre d’un certain nombre d’actions, pour obtenir un certificat de type, délivré par une autorité de certification. Le processus de certification consiste, pour le constructeur, à démontrer à cette autorité la conformité à toutes les exigences réglementaires.

Seule l’application correcte d’un processus d’ingénierie peut garantir que le système remplit les objectifs de sécurité. Les actions mises en œuvre pour être en mesure de démontrer la conformité compliquent le processus d’ingénierie, et nécessitent de gros efforts, si les enjeux associés ne sont pas pris en compte dès le début du projet. Ce processus pourrait être mené de façon plus agile.

[H 8 060] démontre, en effet, que l’on peut avoir une démarche de certification intégrée au processus d’ingénierie de façon agile (appelée certification continue), par la proposition d’une démarche méthodologique efficace et structurée, qui permet de répondre nativement aux exigences de certification. La démarche vise à améliorer, accélérer, et rationaliser, le développement des logiciels avioniques soumis à certification : elle favorise une meilleure intégration des exigences de certification, en accélérant le développement de logiciels, sans compromettre la conformité aux exigences de sécurité. Elle repose sur les principes du développement continu qui, combinés à la gestion de projet agile, permettent l’itération et l’automatisation des actions de certification de manière transparente, et avec un impact limité sur le coût de développement global.

Cet article prolonge [H 8 060], par la proposition d’une démarche DevOps pour supporter la démarche de certification continue. Il rappelle d’abord le contexte de la certification des logiciels en aéronautique, et il précise les objectifs, et il souligne les contributions de cette étude. Puis, il présente le référentiel normatif des exigences essentielles, selon le point de vue de l’autorité militaire DGA. Ensuite, il décrit la démarche proposée pour pratiquer la certification continue. L’article conclut par une discussion sur les avantages et les perspectives de déploiement industrielle de cette proposition.

Cet article est réservé aux abonnés.
Il vous reste 92% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

KEYWORDS

process   |   agility   |   Embedded software   |   software engineering   |   software safety   |   computer-aided software engineering   |   Agile software development   |   continuous production   |   DevOps   |   Methods and tools   |   Continuous certification   |   Test-driven development   |   Continuous integration   |   Test automation

DOI (Digital Object Identifier)

https://doi.org/10.51257/a-v1-h8061


Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(239 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Version en anglais En anglais

Cet article est réservé aux abonnés.
Il vous reste 94% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(239 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS

Sommaire
Sommaire

BIBLIOGRAPHIE

  • (1) - REMPEL (P.), MÄDER (P.), KUSCHKE (T.), CLELAND-HUANG (J.) -   Mind the Gap: Assessing the Conformance of Software Traceability to Relevant Guidelines.  -  International Conference on Software Engineering (ICSE), New York, USA, ACM, p. 943-954 (2014).

  • (2) - STEGHÖFER (J.-P.), KNAUSS (E.), HORKOFF (J.), WOHLRAB (R.) -   Challenges of Scaled Agile for Safety-Critical Systems.  -  International Conference on Product-Focused Software Process Improvement, p. 350-366 (2019).

  • (3) -    -  https://www.launizo.com/blog/methodes-et-outils-de-productivite-en-entreprise-1/post/les-methodes-agiles-3 – consulté en octobre 2021.

  • (4) - BALAJI (S.), SUNDARARAJAN MURUGAIYAN (M.) -   Wateerfallvs V-model vs Agile: a comparative study on SDLC.  -  International Journal of Information Technology and Business Management, 2(1), p. 26-30 (2012).

  • (5) -    -  https://www.scaledagileframework.com/system-team/

  • ...

NORMES

  • Software Considerations in Airborne Systems and Equipment Certification. - DO-178C/ED12C - 2011

  • Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems. - IEC 61508 - 2010

  • Software product assurance. - ECSS-Q-ST-80C - 2017

Cet article est réservé aux abonnés.
Il vous reste 93% à découvrir.

Pour explorer cet article
Téléchargez l'extrait gratuit

Vous êtes déjà abonné ?Connectez-vous !


L'expertise technique et scientifique de référence

La plus importante ressource documentaire technique et scientifique en langue française, avec + de 1 200 auteurs et 100 conseillers scientifiques.
+ de 10 000 articles et 1 000 fiches pratiques opérationnelles, + de 800 articles nouveaux ou mis à jours chaque année.
De la conception au prototypage, jusqu'à l'industrialisation, la référence pour sécuriser le développement de vos projets industriels.

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(239 articles en ce moment)

Cette offre vous donne accès à :

Une base complète d’articles

Actualisée et enrichie d’articles validés par nos comités scientifiques

Des services

Un ensemble d'outils exclusifs en complément des ressources

Un Parcours Pratique

Opérationnel et didactique, pour garantir l'acquisition des compétences transverses

Doc & Quiz

Des articles interactifs avec des quiz, pour une lecture constructive

ABONNEZ-VOUS