La conception et le dA(c)veloppement des systA]mes de sAretA(c) critiques sont assujettis A la fois A des objectifs A(c)conomiques et au respect des normes de sA(c)curitA(c). Dans le contexte aA(c)ronautique, par exemple, ces contraintes sont amplifiA(c)es puisque la marche de dA(c)veloppement doit rA(c)pondre A une certaine fiabilitA(c) pour passer l'A(c)tape de certification. Le projet consiste A dA(c)velopper un environnement de vA(c)rification pour un FPGA selon la norme RTCA/DO-254 DAL A. Ce circuit fait partie du systA]me d'extension/rA(c)traction des trains d'atterrissage, un des...