TOWARDS GENERIC SYSTEM OBSERVATION MANAGEMENT

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 .
Type de document :
HDR
Operating Systems [cs.OS]. Université Grenoble-Alpes, 2015
Liste complète des métadonnées

Littérature citée [149 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/tel-01171642
Contributeur : Vania Marangozova-Martin <>
Soumis le : lundi 6 juillet 2015 - 10:05:36
Dernière modification le : lundi 29 janvier 2018 - 11:59:43
Document(s) archivé(s) le : mardi 25 avril 2017 - 23:39:31

Licence


Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

Identifiants

  • HAL Id : tel-01171642, version 1

Collections

Citation

Vania Marangozova-Martin. TOWARDS GENERIC SYSTEM OBSERVATION MANAGEMENT. Operating Systems [cs.OS]. Université Grenoble-Alpes, 2015. 〈tel-01171642〉

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

237