V�rification D Un FPGA Dans Le Syst�me de Contr�le de Freinage d'Avion

La conception et le dveloppement des systmes de sret critiques sont assujettis la fois des objectifs conomiques et au respect des normes de scurit. Dans le contexte aronautique, par exemple, ces contraintes sont amplifies puisque la marche de dveloppement doit rpondre une certaine fiabilit pour passer l'tape de certification. Le projet consiste dvelopper un environnement de vrification pour un FPGA selon la norme RTCA/DO-254 DAL A. Ce circuit fait partie du systme d'extension/rtraction des trains d'atterrissage, un des divers modules intgrs dans le calculateur ATA 32 responsable de contrle des trains d'atterrissage et de freinage pour l'avion A350 XWB.