Support de test d'un système d'exploitation temps-réel certifiable

L'étudiant doit se familiariser avec le produit logiciel dévelopé par le partenaire industriel et les outils utilisés. Il doit aussi faire une revue de litérature portant sur les travaux reliés au test de logiciels critiques, en général, et de lignes de produits logiciels en particulier.
L'étudiant doit contribuer à la mise en place de méthodes et outils pour faciliter l'exécution et l'automatisation des tests et la collecte de données de certification. Les méthodes et outils développés doivent être validées dans l'environnement du partenaire industriel.
 

Connaissances requises

Le candidat doit avoir une très bonne base en développement logiciel en partant de la spécification des exigences à la spécification et l'exécution des tests. Une familiarisation avec les systèmes embraqués est souhaitable. 
 

Programme d'études visé

Maîtrise avec projet, Maîtrise avec mémoire, Doctorat

Domaines de recherche

Aérospatiale, Technologies de l'information et des communications

Financement

Une bourse dans le cadre d'une subvention de recherche et développement du CRSNG en collaboration avec un partenaire industriel en avionique .
 

Autres informations

Date de début : Automne 2020