Bibliographie & annexes
Quiz & test
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’articleABSTRACT
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)
-
Vincent LOUIS : DGA Techniques aéronautiques
-
Claude BARON : LAAS-CNRS, INSA Toulouse
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.
L'expertise technique et scientifique de référence
MOTS-CLÉS
aéronautique certification IEC 61508 système embarqué agilité ingénierie du logiciel processus de développement assurance qualité DO-178 C
KEYWORDS
aeronautics | certification | IEC 61508 | embedded system | agility | software engineering | development process | quality assurance | DO-178 C
DOI (Digital Object Identifier)
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
Présentation
Comment améliorer le processus de certification des logiciels ?3. Certification et développement logiciel pour les systèmes aéronautiques critiques
Cette section rappelle tout d’abord quelles sont les contraintes induites par les objectifs de certification sur un processus de développement logiciel classique en aéronautique (§ 3.1), et souligne l’importance du processus de vérification (§ 3.2). Elle introduit ensuite l’assurance développement et l’assurance qualité, dans ce contexte de certification aéronautique (§ 3.3). Elle termine par un retour d’expérience et une analyse sur les pratiques des industriels confrontés à des activités de certification (§ 3.4).
3.1 Un processus d’ingénierie logicielle contraint par les exigences de certification
L’ingénierie logicielle est une discipline qui s’intéresse aux méthodes systématiques qui permettent de développer des logiciels correspondant aux besoins du client, fiables, maintenables et performants. La figure 5 présente les étapes classiques de développement d’un logiciel : les exigences des utilisateurs sont transformées en exigences sur le logiciel, qui servent à leur tour de référence pour élaborer une architecture logicielle, avant de passer à la conception détaillée puis au codage. On procède alors aux tests de chaque fonction prise de manière unitaire, puis aux tests d’intégration, aux tests logiciels et aux tests d’acceptation par le client. Chaque plan de test est préparé dans la partie descendante du cycle (à gauche sur la figure 5).
Comme introduit en section ...
L'expertise technique et scientifique de référence
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.
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
Certification et développement logiciel pour les systèmes aéronautiques critiques
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)...
DANS NOS BASES DOCUMENTAIRES
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...
L'expertise technique et scientifique de référence
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
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
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
