Vania Marangozova-Martin - Towards Generic System Observation Management

08:00
Friday
12
Jun
2015
Organized by: 
Vania Marangozova-Martin
Speaker: 
Vania Marangozova-Martin

Jury :

Prof. Dr. Christine Morin, INRIA Rennes 
Prof. Dr. Pierre Sens, LIP6
Prof. Dr. Felix Wolf, TU Darmstadt
Prof. Dr. Noël De Palma, UJF
Prof. Dr. Yves Denneulin, Grenoble-INP

Un des plus grands défis de l'informatique est de produire des systèmes corrects. Une manière d'assurer la correction des systèmes est d'utiliser des méthodes formelles de modélisation et de validation.

Obligatoire dans le domaine des systèmes critiques, cette approche est difficile et coûteuse à mettre en place dans la plupart des systèmes informatiques. L'alternative est de vérifier le comportement des systèmes déjà développés en observant et analysant leur comportement à l'exécution.
 
Ce mémoire présente mes contributions autour de l'observation des systèmes. Il discute de la définition de mécanismes génériques d'observation, de l'exploitation des observations pour le débogage  de systèmes non déterministes et de la gestion ouverte, flexible et reproductible d'observations .