Vérification d'un FPGA dans le système de contrôle de freinage d'Avion

La conception et le développement des systèmes de sûreté critiques sont assujettis à la fois à des objectifs économiques et au respect des normes de sécurité. Dans le contexte aéronautique, par exemple, ces contraintes sont amplifiées puisque la marche de développement doit répondre à une certaine fiabilité pour passer l'étape de certification. Le projet consiste à développer un environnement de vérification pour un FPGA selon la norme RTCA/DO-254 DAL A. Ce circuit fait partie du système d¿extension/rétraction des trains d¿atterrissage, un des divers modules intégrés dans le calculateur ATA 32 responsable de contrôle des trains d¿atterrissage et de freinage pour l¿avion A350 XWB.