Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

TOWARDS GENERIC SYSTEM OBSERVATION MANAGEMENT

Vania Marangozova-Martin 1
1 ERODS - Efficient and Robust Distributed Systems
LIG - Laboratoire d'Informatique de Grenoble
Abstract : One of the biggest challenges in computer science is to produce correct computer systems. One way of ensuring system correction is to use formal techniques to validate the system during its design. This approach is compulsory for critical systems but difficult and expensive for most computer systems. The alternative consists in observing and analyzing systems' behavior during execution. In this thesis, I present my research on system observation. I describe my contributions on generic observation mechanisms, on the use of observations for debugging nondeterministic systems and on the definition of an open, flexible and reproducible management of observations.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [149 references]  Display  Hide  Download

https://hal.inria.fr/tel-01171642
Contributor : Vania Marangozova-Martin <>
Submitted on : Monday, July 6, 2015 - 10:05:36 AM
Last modification on : Tuesday, December 8, 2020 - 10:24:03 AM
Long-term archiving on: : Tuesday, April 25, 2017 - 11:39:31 PM

Licence


Distributed under a Creative Commons Attribution - NonCommercial - NoDerivatives 4.0 International License

Identifiers

  • 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⟩

Share

Metrics

Record views

320

Files downloads

425