Reverse engineering of software requirements for traceability

In the context of the Next Generation SDR Avionics for Communication, Navigation and Surveillance project of the LASSENA (https://lassena.etsmtl.ca/spip.php?rubrique29#2063) this project aims at proposing novel techniques for reverse-engineering software requirements for traceability and certifiability.

Reverse engineering has been defined as obtaining "more abstract representations that can be used to understand and consider the structure and intent of the more detailed representations." The goal is to propose techniques based on mining or machine learning to help in extracting information that can become requirements for source code that is already written for various embedded applications used in avionics. For the student participating in this project, there is an opportunity to work with state-of-the-art materials in the LASSENA and to have contact with several industrial partners.

Connaissances requises

The ideal candidate has a strong background in software engineering: software development, requirements, traceability, verification, validation, source-code management practices, and has used tools such as DOORS, Simulink and MatLab.  
 

Programme d'études visé

Maîtrise avec mémoire, Doctorat

Domaines de recherche

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

Financement


Bourse LASSENA, selon l'expérience du candidat 
 

Autres informations

Date de début : Affichage en continu jusqu'à ce que le poste soit comblé. 
Partenaires impliqués : Thales Canada, L3Harris, SII Canada,Bombardier