Pour les secteurs tel que l''aviation, le mA(c)dical, le nuclA(c)aire et l''aA(c)rospatial, la qualitA(c) du logiciel est un besoin capital. Le logiciel embarquA(c) dans ces types des systA]mes est reconnu comme A(c)tant critique car leurs A(c)chec peut causer blessures (ou mort) aux Aatres humains ainsi que la perte d''investissements financiers considA(c)rables. Dans cette recherche nous proposons un rA(c)fA(c)rentiel des processus de vA(c)rification et validation (V&V) et d''un entrepAt gA(c)nA(c)rique des mesures pour permettre, d''une part, de mieux dA(c)finir et implA(c)menter les...