Sous-projet 9 : Définition des objectifs de qualification des outils

Description du sous-projet, responsable, partenaires

Étude en vue d'une qualification des différents composants logiciels des outils développés ou mis en œuvre dans le projet CAT.

Début : M24

Fin : M36

Responsable : CEA

Participants : CEA, AF, DA

Objectifs du sous-projet

L'objectif de ce sous-projet consiste à définir les besoins et la faisabilité de la qualification des outils développés ou mis en œuvre dans le cadre du projet CAT.
A partir des normes définissant les processus de certification des logiciels (notamment dans le contexte aéronautique de certification des applications critiques pour les avions civils - norme DO-178/B), une stratégie de qualification et ses critères de faisabilité seront définis. Une telle stratégie dépend, dans de fortes proportions, du type de code et des propriétés à prouver, ainsi que des outils sélectionnés pour l'analyse et la preuve ; elle pourra donc être déclinée en fonction des taxonomies identifiées du code, d'obligations de preuve et d'outils utilisés.

Tout au long des sous-projets qui aboutissent au développement de prototypes, on prendra garde à conserver une traçabilité des calculs compatible avec des travaux futurs de qualification.

Détails des réalisations et échéances

T9.0 : Évaluation du niveau de qualification nécessaire pour un outil de vérification

T9.1 : Stratégie et faisabilité de la qualification du noyau

T9.2 : Stratégie et faisabilité de la qualification des analyses automatiques et interactives

T9.3 : Stratégie et faisabilité de la qualification des prouveurs

Critère d'évaluation du résultat et de décision de poursuite du sous-projet

Ce sous-projet sera un succès si on a pu obtenir une définition des besoins en conformité avec les pré-requis des normes et processus de certification de logiciels critiques et une faisabilité partielle ou totale de la qualification des éléments de la boîte à outils d'analyse de code.

Tâche

Resp.

Début

Fin

Charge (homme/mois)

Délivrables

CEA

PROV

LANDE

DA

AF

SVDO

FT

T9.0

CEA

M24

M30

1



2

2



Rapport

T9.1

CEA

M26

M29

1




0,5



Rapport

T9.2

CEA

M29

M33

1




0,5



Rapport

T9.3

CEA

M33

M36

1







Rapport