du trafic aérien, écrite en ADA. Ce stage consiste à étudier la faisabilité de porter des briques du code Ada vers Rust afin... des tests différentiels comparant sorties Rust vs Ada, avec tolérances numériques définies. Intégrer les bibliothèques Rust...
-Aquitaine) et l’ADA Occitanie, deux associations régionales de développement apicole engagées dans l’accompagnement technique...
d'analyse de code ADA basé sur l'analyseur syntaxique LibADALang développé par la société ADACore - Exploiter cet outil... pour automatiser la vérification de règles de codage ADA 2012 définies sur les logiciels critiques embarqués sur les lanceurs spatiaux...
de logiciel temps réel;- Expérience de programmation en Matlab et en ADA;- Connaissances de base en OS embarqué Alors ce...
++ et idéalement ADA Matlab Des connaissances en navigation par satellite seraient un plus Rigueur, sens de l’analyse, aisance...