Référentiel d’exigences pour la certification des logiciels embarqués en aéronautique
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

Référentiel d’exigences pour la certification des logiciels embarqués en aéronautique
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é ?

2. Référentiel d’exigences pour la certification des logiciels embarqués en aéronautique

Les entreprises qui cherchent à se conformer aux réglementations existantes doivent prendre en considération les nombreux guides de bonnes pratiques et de recommandations normatives, qui résultent d’un consensus au sein de la communauté aéronautique et contiennent les meilleures pratiques partagées.

La norme DO-178C/ED12C est généralement la référence pour le développement de logiciels embarqués dans l’aéronautique. Elle définit cinq niveaux de criticité des logiciels appelés DAL ( Development Assurance Level ), allant de A (le plus critique) à E (le moins critique). Plus le niveau DAL est proche de A, plus le nombre d’exigences est élevé.

La norme DO-178C/ED12C spécifie aussi les activités techniques...

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é ?


Lecture en cours
Référentiel d’exigences pour la certification des logiciels embarqués en aéronautique

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