Processus IndustrielsAéronautiqueSpatialDéfense ATM / ATCFerroviaire et TransportNucléaire

 

 

 

 

RTCA DO 330 ED-215:2011
Qualification des outils utilisés pour le développement et la vérification de logiciel critique pour la sécurité

 

 

PRÉSENTATION

Les outils logiciels sont largement utilisés dans divers domaines pour supporter le développement, la vérification et le contrôle d’autres applications logicielles. Ils peuvent permettre d’analyser et potentiellement d’améliorer la sécurité du système par l’automatisation des fonctions pouvant être sujettes à des erreurs humaines. Cependant, une erreur dans l’outil peut avoir un impact négatif sur la fonctionnalité du logiciel, lorsque le logiciel fait partie intégrante d’un système aéronautique, aéronefs civils (DO-178C/ED-12C) ou segment sols (DO-278A/ED-109A pour les ATM/CNS) et en cas d’impact sur la sécurité humaine, l’outil doit être qualifié en utilisant une démarche adéquate (DO-330/ED-115).

Cette formation présente les différentes activités de qualification des outils utilisés pour le développement et la vérification de logiciel critique pour la sécurité. Elle détaille également la relation de la DO-330 avec la DO-178C.

 

PUBLIC CONCERNE & PRÉREQUIS

Cette formation est destinée à toute personne impliquée dans le développement, la vérification et l’utilisation d’outils de développement ou de vérification de logiciel aéronautique. Des connaissances initiales en outils logiciels sont fortement conseillées pour le bon déroulement de cette formation.

 

OBJECTIFS

Ces objectifs seront mis en œuvre en fonction du prérequis recueilli par questionnaire auprès des demandeurs

  • Présenter les exigences s’appliquant à la qualification des outils logiciels.
  • Présenter la complémentarité entre certification de logiciel critique pour la sécurité et la qualification de l’outil qui aura permis de développer ce logiciel.
  • Guider les développeurs et les utilisateurs d’outils de développement et de vérification du logiciel à l’évaluation et à la qualification de leurs outils.

 

CONTENU

Introduction                                                                              

Le contexte réglementaire – la certification

Certification système/ matériel/ logiciel/outil

Les objectifs de la qualification d’un outil

Les caractéristiques de la qualification d’un outil

 

La Planification pour la qualification

Déterminer le besoin de qualification

La définition du cycle de vie

Le processus de planification

 

Cycle de vie pour le développement et processus

La définition des exigences opérationnelles

Les processus de développement

L’intégration en opération

 

Les Processus de Soutien

Vérification et validation 

Gestion de configuration 

Assurance qualité 

 

La Démonstration de Conformité

Les données de qualification pour la certification

Les données de qualification produites par les développeurs de l’outil

Les données de qualification produites par les utilisateurs de l’outil

 

Les Aspects Particuliers

Les outils multifonctions

La réutilisation d’outils qualifiés

La qualification des outils COTS

L’expérience en service (retour d’expérience)