Vania Marangozova-Martin - Towards Generic System Observation Management

10:00
Vendredi
12
Juin
2015
Organisé par : 
Vania Marangozova-Martin
Intervenant : 
Vania Marangozova-Martin
Information détaillée : 

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

Résumé : 

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 .