d'analyse critique du logiciel Utilisation des outils d'analyse statique Connaissance des méthodes AMDEC Langage Ada Normes...
les langages Ada, Python, bash, SQL, C, C++, Matlab Vous êtes familier avec le système d’exploitation Linux mais également...
de développement (ADA est un plus). Méthodologie : Cycle en V, traçabilité des exigences et qualité documentaire. Qualités...
de développement (ADA est un plus). Méthodologie : Cycle en V, traçabilité des exigences et qualité documentaire. Qualités...
de logiciels embarqués tels que [C ou C++ et VB., NET., ADA, programmation Assembleur] Vous êtes familier(ère) de l'utilisation...
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...
à la production de la documentation (nouveauté);- Vous générez le code Ada avec le nouvel outil et vérifiez sa compilation...;- Vous réalignez les logiciels sécuritaires sur le nouveau code Ada produit (résolution des ruptures d'interface);- Vous vérifiez...
effectué, Organiser et s'assurer de la bonne réalisation des chantiers et de l'adéquation des moyens techniques et humains...
'ai pu développer mes compétences techniques (CUDA, Java, Ada, etc.), tout en diversifiant mon activité sur des sujets...
© du travail effectué, Organise et assure la bonne réalisation des chantiers et de l'adéquation des moyens techniques...