Vérification d¿un FPGA dans le système de contrôle de fre...
Selmi, Safouen
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...