Thèse: Compilation Lustre vers FPGA pour systèmes critiques

L'Institut Supérieur de l’Aéronautique et de l’Espace, ISAE-SUPAERO, propose une thèse axée sur la compilation modèle-vers-FPGA pour des systèmes réactifs critiques. Le candidat idéal doit avoir un diplôme d’ingénieur et des connaissances en systèmes embarqués et synthèse matérielle.

La recherche vise à améliorer la fiabilité et la certification des systèmes critiques, en intégrant des optimisations et en garantissant des vérifications formelles. La collaboration avec des organismes prestigieux comme le CNES est prévue.