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

Ajouter à la bibliothèque

H8061 V1 Article de référence
Interactif Logo doc&quiz

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 | Read in english

Ajouter à la bibliothèque Ajouter à la bibliothèque

Logo Techniques de l'Ingenieur Cet article est réservé aux abonnés
Pour explorer cet article plus en profondeur Consulter un extrait gratuit

Déjà abonné ?

Présentation

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

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 est réservé aux abonnés
Logo Techniques de l'Ingenieur

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

Cet article est réservé aux abonnés Consulter un extrait gratuit

Déjà abonné ?


MOTS-CLÉS

processus   |     |   agilité   |   Logiciels embarqués   |   génie logiciel   |   sécurité des logiciels   |   génie logiciel assisté par ordinateur   |   développement logiciel agile   |   production continue   |   DevOps   |   méthodes et outils   |   certification continue   |   développement piloté par les tests   |   intégration continue   |   automatisation des tests

DOI (DIGITAL OBJECT IDENTIFIER)

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

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

Article inclus dans l'offre

"Technologies logicielles Architectures des systèmes"

( 408 articles )

Une base complète d’articles

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

Services

Quiz, médias, tableaux, formules, vidéos, etc.

Des modules pratiques

Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.

Des avantages inclus

Un ensemble de services exclusifs en complément des ressources.

Voir le détail de l'offre

Dans les ressources documentaires

UML pour le temps réel : le langage et les méthodes

UML est utilisé industriellement pour le développement de logiciels. Son introduction plus récente dans l...

Validation des algorithmes en UML et OCL

Cet article traite de propriétés formelles des langages de programmation dont le but est de vérifier, voi...

Méthodes formelles pour la vérification des systèmes embarqués

Les systèmes embarqués sont soumis à de nombreuses contraintes et certains sont en interaction étroite av...

Tous les livres blancs
Article L’ombre des pirates sur les élections ?
6 janvier 2017
L’ombre des pirates sur les élections ?

Avant de céder son fauteuil à M. Trump, M. Obama a publié les déclarations fracassantes selon lesquelles des pirates russes auraient réussi à influencer les vot...

Article Google Street View s'invite sur un chameau
13 octobre 2014
Google Street View s'invite sur un chameau

Google délaisse pour un temps la bonne vieille Google Street Car, et s'aventure à dos de chameau pour arpenter les dunes émiraties du Rub al-Khali, autour de l'...

Toutes les actualités

Inscrivez-vous aux newsletters !

Contactez-nous