Localisation de fonctionnalités dans du code avionique

La localisation de l'emplacement où diverses fonctionnalites d'un logiciel sont implementées au sein du code source peut être utile à la compréhension de programme et pour diverses activités de réingenierie. Dans l'industrie avionique, la réingenierie est un sujet d'actualité puisque plusieurs systèmes logiciels doivent être modernisés. Or, cette reingenierie doit conserver la richesse algorithmique des logiciels existants. Les travaux présentés dans ce mémoire visent donc à appuyer les efforts de réingenierie en avionique via l'utilisation d'une méthodologie de localisation de fonctionnalités à partir de l'analyse statique du code source. Dans ce mémoire, nous définissons une telle méthodologie, puis l'appliquons sur un système de gestion de vol provenant de l'industrie avionique. Les résultats obtenus sont ensuite interprétés afin de déterminer la distribution des fonctionnalités au sein du code source d'une logiciel. Bien qu'axé principalement sur les applications de la méthodologie daas le domaine de l'avionique, ce mémoire s'adresse à toute personne ayant une connaissance de base en informatique et un intérêt envers la réingénierie du logiciel.