Résilience des systèmes informatiques adaptatifs : modélisation, analyse et quantification / William Excoffon ; sous la direction de Jean-Charles Fabre et de Michaël Lauer

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Informatique -- Recherche -- Systèmes informatiques -- Mesures de sûreté

Fabre, Jean-Charles (19..-.... ; chercheur) (Directeur de thèse / thesis advisor)

Lauer, Michaël (1982-...) (Directeur de thèse / thesis advisor)

Seinturier, Lionel (19..-....) (Président du jury de soutenance / praeses)

Taïani, François (19..-....) (Rapporteur de la thèse / thesis reporter)

Bouchenak, Sara (19..-.... ; auteur en informatique) (Rapporteur de la thèse / thesis reporter)

Gatti, Marc (19..-....) (Membre du jury / opponent)

Blanquart, Jean-Paul (Membre du jury / opponent)

Institut national polytechnique (Toulouse ; 1969-....) (Organisme de soutenance / degree-grantor)

École doctorale Mathématiques, informatique et télécommunications (Toulouse) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire d'Analyse et d'Architecture des Systèmes (Toulouse ; 1968-....) (Laboratoire associé à la thèse / thesis associated laboratory)

Résumé / Abstract : On appelle résilient un système capable de conserver ses propriétés de sûreté de fonctionnement en dépit des changements (nouvelles menaces, mise-à-jour,…). Les évolutions rapides des systèmes, y compris des systèmes embarqués, implique des modifications des applications et des configurations des systèmes, en particulier au niveau logiciel. De tels changements peuvent avoir un impact sur la sûreté de fonctionnement et plus précisément sur les hypothèses des mécanismes de tolérance aux fautes. Un système est donc résilient si de pareils changements n’invalident pas les mécanismes de sûreté de fonctionnement, c’est-à-dire, si les mécanismes déjà en place restent cohérents malgré les changements ou dont les incohérences peuvent être rapidement résolues. Nous proposons tout d’abord dans cette thèse un modèle pour les systèmes résilients. Grâce à ce modèle nous pourrons évaluer les capacités d’un ensemble de mécanismes de tolérance aux fautes à assurer les propriétés de sûreté issues des spécifications non fonctionnelles. Cette modélisation nous permettra également de définir un ensemble de mesures afin de quantifier la résilience d’un système. Enfin nous discuterons dans le dernier chapitre de la possibilité d’inclure la résilience comme un des objectifs du processus de développement

Résumé / 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