Referentiel des processus et d'un entrepot generique des mesures pour la verification & validation (V&V) des logiciels critiques

Dans cette these nous proposons un referentiel des processus de verification et validation (V&V) et d'un entrepot generique des mesures pour permettre, d'une part, de mieux definir et implementer les objectifs et les processus de la V&V et, d'autre part, de faciliter la prise des decisions dans les projets de V&V par le biais d'un entrepot des donnees des mesures pour mieux identifier, faire le suivi et l'evaluation des processus et produits des activites de V&V.;Le referentiel de pratiques de V&V est exprime par le biais d'un artefact logiciel appele "Plug-in" ou "plugiciel". Cet artefact a ete construit avec l'outil "Eclipse Process Framewrok Composer (EPFC)", qui est une extension du "OpenUP".;Le referentiel sert a la definition des pratiques de V&V du developpement du logiciel critique et en concordance avec les exigences de certification du guide DO-178B dans le contexte de l'aeronautique.