Static analysis and runtime monitoring to ensure the consistency of dynamic applications

by Walter Rudametkin positions phd dynamic-software static-analysis

Posted 2015.01.15 — Lille, France

Open Ph.D. Position

Static analysis and runtime monitoring to ensure the consistency of dynamic applications

Summary

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.

Read more ›

Applications Dynamiques pour le Cloud Computing

by Walter Rudametkin positions master cloud dynamic-software

Posted 2014.09.11 — Lille, France

Supervision

Walter Rudametkin (Maître de conférences - Spirals)
Lionel Seinturier (Professeur - Spirals)

Lieu

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

Contexte

Les domaines de recherche actuels, tels que l’informatique ubiquitaire [1] et l’informatique en nuage (Cloud Computing), considèrent que ces environnements d’exécution sont en changement continu. Les applications dynamiques, où les composants peuvent être ajoutés ou supprimés pendant l’exécution, permettent à un logiciel de s’adapter et de s’ajuster à l’évolution des environnements, et de tenir compte de l’évolution du logiciel. Malheureusement, les applications dynamiques soulèvent des questions de conception et de développement qui n’ont pas encore été pleinement explorées.

Read more ›