Skip to Main content Skip to Navigation

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 :
Complete list of metadata
Contributor : Christine Fourcade <>
Submitted on : Tuesday, November 20, 2018 - 9:48:39 AM
Last modification on : Thursday, June 10, 2021 - 3:02:59 AM


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


  • HAL Id : tel-01927719, version 1


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⟩



Record views


Files downloads