Skip to Main content Skip to Navigation
Theses

Etalonnage de la sûreté de fonctionnement des systèmes d'exploitation. Spécifications et mise en oeuvre

Abstract : System developers are increasingly resorting to off-the-shelf operating systems, even in critical application domains. Any malfunction of the operating system may have a strong impact on the dependability of the global system. Therefore, it is important to make available information about the operating systems dependability. In our work, we aim to specify dependability benchmarks to characterize the operating systems with respect to the faulty behavior of the application. We specify three benchmarks intended for comparing the dependability of operating systems belonging to different families. We specify the set of measures and the procedures to be followed after defining the set of properties that a dependability benchmark should satisfy. After, we present implemented prototypes of these benchmarks. They are used to compare the dependability of operating systems belonging to Windows and Linux, and to show that our benchmarks satisfy the identified properties.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00010014
Contributor : Emilie Marchand <>
Submitted on : Wednesday, August 31, 2005 - 2:47:53 PM
Last modification on : Friday, January 10, 2020 - 9:08:09 PM
Long-term archiving on: : Friday, April 2, 2010 - 10:16:48 PM

Identifiers

  • HAL Id : tel-00010014, version 1

Citation

Ali Kalakech. Etalonnage de la sûreté de fonctionnement des systèmes d'exploitation. Spécifications et mise en oeuvre. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. Français. ⟨tel-00010014⟩

Share

Metrics

Record views

420

Files downloads

499