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.