Static analysis and runtime monitoring to ensure the consistency of dynamic applications
Modern software engineering techniques allow building applications that change at runtime, without stopping. We call these applications Dynamic Applications. However, changing applications at runtime to cause inconsistencies that lead to failure. This Ph.D thesis will focus on state-of-the-art tools to analyse and verify that applications remain consistent and function properly despite dynamic change.
Les approches de génie logiciel modernes permettent la construction d'applications complexes qui peuvent changer leur structure en exécution sans s’arrêter. Ces applications sont connus sous le nom d'Applications Dynamiques. Cependant, les changements à l’exécution dans les applications dynamiques peuvent introduire des incohérences qui mènent à des défaillances. Cette thèse se focalisera sur la construction d'outils pour l'analyse et la vérification d'applications dynamiques pour assurer leur cohérence et bon fonctionnement malgré des changements dynamiques.
Walter Rudametkin (Maître de conférences - Spirals)
Lionel Seinturier (Professeur - Spirals)
Spirals Research Group
Inria Lille - Nord Europe
Parc Scientifique de la Haute Borne
40, avenue Halley - Bat. B, Park Plaza
59650 Villeneuve d'Ascq – FRANCE
Please read the proposal before contacting the supervisors.
Static analysis and runtime monitoring to ensure the consistency of dynamic applications (pdf)