Skip to Main content Skip to Navigation
Theses

Résilience des systèmes informatiques adaptatifs: modélisation, analyse et quantification

William Excoffon 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 : A system that remains dependable when facing changes (new threats, updates) is called resilient. The fast evolution of systems, including embedded systems, implies modifications of applications and system configuration, in particular at software level. Such changes may have an impact on the dependability of the system, in particular on the assumptions of the fault tolerance mechanisms. A system is resilient when such changes do not invalidate its dependability mechanisms, said in a different way, current dependability mechanisms remain appropriate despite changes or whose inconsistencies can be rapidly solved. We propose in this thesis a model for resilient computing systems. Using this model we propose a way to evaluate if a set of fault tolerance mechanisms is able to ensure dependability properties from non-functional specifications. The proposed model is the used to quantify the resilience of a system using a set of specific measures. In the last chapter we discuss the possibility of including resilience as a goal in development process.
Document type :
Theses
Complete list of metadata

https://hal.laas.fr/tel-01927719
Contributor : Christine Fourcade <>
Submitted on : Tuesday, November 20, 2018 - 9:48:39 AM
Last modification on : Thursday, June 10, 2021 - 3:02:59 AM

File

EXCOFFON William.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01927719, version 1

Citation

William Excoffon. Résilience des systèmes informatiques adaptatifs: modélisation, analyse et quantification. Informatique [cs]. Institut National Polytechnique de Toulouse - INPT, 2018. Français. ⟨tel-01927719⟩

Share

Metrics

Record views

276

Files downloads

119