Article interactif

1 - CRITICITÉ ET CERTIFICATION CONTINUE

2 - CONTEXTE ET ÉTAT DES PRATIQUES

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

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

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

6 - CONCLUSION ET PERSPECTIVES

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

Vers une certification continue des logiciels critiques en aéronautique

Auteur(s) : Vincent LOUIS, Claude BARON

Relu et validé le 13 janv. 2021

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

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

Sommaire

Présentation

RÉSUMÉ

De nombreux secteurs utilisent des systèmes et des logiciels critiques, dont les défaillances pourraient entraîner des pertes de vies humaines. Cet article s’intéresse au développement et à la certification des logiciels critiques, avec une illustration dans le domaine de l’aéronautique. Il souligne les difficultés rencontrées en entreprise et l’état des pratiques pour mettre en perspective quelques pistes d’améliorations possibles de celles-ci. Il démontre notamment l’intérêt d’intégrer plus étroitement et de façon continue les contraintes de la certification au processus de développement des logiciels. Notre proposition est de nous inspirer des valeurs agiles pour répondre le plus tôt possible aux exigences de certification applicables au développement des logiciels. C’est ce que nous appelons la certification continue.

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

Lire l’article

ABSTRACT

Improving the integration of certification during critical software development

Many sectors use critical software, whose failures can lead to severe safety consequences. This article focuses on the development and certification of those critical software, with an illustration in the field of avionics. It highlights the difficulties encountered in companies and considers a possible way of overcoming them by a better integration of certification constraints during the software development process. Our proposal is to introduce agile values in the development process to meet the certification requirements as soon as possible.

Auteur(s)

INTRODUCTION

Cet article traite de la problématique de la certification, en soulignant son utilité sur le plan sociétal. Il offre l’intérêt et l’originalité de donner le point de vue d’un membre d’un organisme de certification. Il adresse ensuite plus spécifiquement le développement de logiciels critiques, avec une illustration dans le domaine de l’aéronautique. Il souligne les difficultés rencontrées en entreprise et l’état des pratiques pour mettre en perspective quelques pistes d’améliorations possibles de celles-ci. Il démontre notamment l’intérêt d’intégrer plus étroitement les contraintes de certification au processus de développement des systèmes de façon continue.

Notre proposition est d’aller au-delà et de s’inspirer des valeurs agiles (produire régulièrement des livrables opérationnels, accepter des changements de besoins, valoriser les interactions entre les individus) pour être capable d’apporter plus tôt dans le développement et de façon continue, des garanties de conformité aux normes. C’est ce que l’article appelle « Certification Continue ».

La section 2 positionne le contexte de ce travail, introduit la problématique générale de la certification et propose un état des pratiques industrielles dans différents domaines d’activité (automobile, santé, nucléaire…). La section 3 rappelle les pratiques actuelles en matière d’ingénierie logicielle et explique en quoi les objectifs de certification contraignent le processus de développement logiciel en aéronautique (objectifs, référentiels, contraintes induites, etc.). Cette section analyse également comment la certification est vécue par les industriels du secteur. La section 4 développe quelques pistes permettant de mieux intégrer les exigences de certification au processus de développement logiciel. La section 5 démontre qu’il est possible d’introduire de l’agilité dans le processus de développement de logiciels critiques soumis à certification. L’article conclut sur la nécessité et l’intérêt de faire évoluer les pratiques en les rendant plus agiles et en s’appuyant sur des approches basées modèles ; elle étend ces conclusions pour la certification de logiciels critiques à des domaines autres que l’aéronautique ou même pour des systèmes non logiciels.

Nota : dans cet article, les schémas et les tableaux ont été laissés en anglais pour rester conformes aux documents réglementaires dont ils sont extraits.

Cet article est réservé aux abonnés.
Il vous reste 95% à 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

aeronautics   |   certification   |   IEC 61508   |   embedded system   |   agility   |   software engineering   |   development process   |   quality assurance   |   DO-178 C

DOI (Digital Object Identifier)

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


Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(238 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

Cet article est réservé aux abonnés.
Il vous reste 95% à 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.

TEST DE VALIDATION ET CERTIFICATION CerT.I. :

Cet article vous permet de préparer une certification CerT.I.

Le test de validation des connaissances pour obtenir cette certification de Techniques de l’Ingénieur est disponible dans le module CerT.I.

Obtenez CerT.I., la certification
de Techniques de l’Ingénieur !
Acheter le module

Cet article fait partie de l’offre

Technologies logicielles Architectures des systèmes

(238 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) - HILDERMAN (V.), BAGHI (T.) -   Avionics Certification : A Complete Guide to DO-178 (Software), DO-254 (Hardware).  -  Avionics Communications (2007).

  • (2) - HILDERMAN (V.) -   DO-178B Costs Versus Benefits. HighRely,  -  2009. http://www.cems.uwe.ac.uk/~ngunton/hrwp_do_178b_cost_ benefit.pdf

  • (3) - LEVESON (N) -   White Paper on Approaches to Safety Engineering,  -  April 2003. http:// sunnyday.mit.edu/caib/concepts.pdf

  • (4) - 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 : 943-954 (2014).

  • (5) - LEVESON (N.) -   Safeware : System Safety and Computers.  -  Addison-Wesley Professional (1995).

  • (6)...

1 Réglementations

JORF, “Décret n° 2013-367 du 29 avril 2013 relatif aux règles d’utilisation, de navigabilité et d’immatriculation des aéronefs militaires et des aéronefs appartenant à l’État et utilisés par les services de douanes, de sécurité publique et de sécurité civile” (2013). https://www.legifrance.gouv.fr/eli/decret/2013/4/29/2013-367/jo/texte

Direccion General de Trafico, ministère de l’écologie et du développement durable espagnol. May 2018. http://www.automobilebarcelona.com/en/home

JORF n° 0181 du 5 août 2016 texte n° 8, Ordonnance n° 2016-1057 du 3 août 2016 relative à l’expérimentation de véhicules à délégation de conduite sur les voies publiques. (2016). https://www.legifrance.gouv.fr/eli/ordonnance/2016/8/3/2016-1057/jo/texte

Décret n° 2006-1551 du 7 décembre 2006 relatif aux règles d’utilisation, de navigabilité et d’immatriculation des aéronefs militaires et des aéronefs appartenant à l’État et utilisés par les services de douanes, de sécurité publique et de sécurité civile, 2006. https://www.legifrance.gouv.fr/affichTexte.do?cidTexte=JORFTEXT000000463718&categorieLien=cid...

Cet article est réservé aux abonnés.
Il vous reste 95% à 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

(238 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

QUIZ ET TEST DE VALIDATION PRÉSENTS DANS CET ARTICLE

1/ Quiz d'entraînement

Entraînez vous autant que vous le voulez avec les quiz d'entraînement.

2/ Test de validation

Lorsque vous êtes prêt, vous passez le test de validation. Vous avez deux passages possibles dans un laps de temps de 30 jours.

Entre les deux essais, vous pouvez consulter l’article et réutiliser les quiz d'entraînement pour progresser. L’attestation vous est délivrée pour un score minimum de 70 %.


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

(238 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