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

Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances

Mohamed Kaâniche 1
1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : The research summarized in this report focuses on the dependability of computer systems. It addresses several complementary, theoretical as well as experimental, issues that are grouped into four topics. The first topic concerns the definition of efficient methods that aim to assist the users in the construction and validation of complex dependability analysis and evaluation models. The second topic deals with the modeling of reliability and availability growth, that mainly result from the progressive removal of design faults. A method is also defined to support the application of software reliability evaluation studies in an industrial context. The third topic deals with the development and experimentation of a new approach for the quantitative evaluation of operational security. This approach aims to assist the system administrators in the monitoring of operational security, when modifications, that are likely to introduce new vulnerabilities, occur in the system configuration, the applications, the user behavior, etc. Finally, the fourth topic addresses: a) the definition of a development model focussed at the production of dependable systems, and b) the development of assessment criteria to obtain justified confidence that a system will achieve, during its operation and up to its decommissioning, its dependability objectives.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [169 references]  Display  Hide  Download
Contributor : Emilie Marchand <>
Submitted on : Tuesday, April 17, 2007 - 3:59:08 PM
Last modification on : Monday, October 19, 2020 - 11:09:50 AM
Long-term archiving on: : Wednesday, April 7, 2010 - 1:59:50 AM


  • HAL Id : tel-00142168, version 1


Mohamed Kaâniche. Evaluation de la sûreté de fonctionnement informatique. Fautes physiques, fautes de conception, malveillances. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 1999. ⟨tel-00142168⟩



Record views


Files downloads