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.
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
Bourse LASSENA, selon l'expérience du candidat
Date de début : Affichage en continu jusqu'à ce que le poste soit comblé.
Partenaires impliqués : Thales Canada, L3Harris, SII Canada,Bombardier