É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
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.
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
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 |