La conception et le developpement des systemes de surete critiques sont assujettis a la fois a des objectifs economiques et au respect des normes de securite. Dans le contexte aeronautique, par exemple, ces contraintes sont amplifiees puisque la marche de developpement doit repondre a une certaine fiabilite pour passer l'etape de certification. Le projet consiste a developper un environnement de verification pour un FPGA selon la norme RTCA/DO-254 DAL A. Ce circuit fait partie du systeme d'extension/retraction des trains d'atterrissage, un des divers modules integres dans le calculateur ATA 32 responsable de controle des trains d'atterrissage et de freinage pour l'avion A350 XWB."