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

On appelle resilient un systeme capable de conserver ses proprietes de surete de fonctionnement en depit des changements (nouvelles menaces, mise-a-jour,…). Les evolutions rapides des systemes, y compris des systemes embarques, implique des modifications des applications et des configurations des systemes, en particulier au niveau logiciel. De tels changements peuvent avoir un impact sur la surete de fonctionnement et plus precisement sur les hypotheses des mecanismes de tolerance aux fautes. Un systeme est donc resilient si de pareils changements n’invalident pas les mecanismes de surete de fonctionnement, c’est-a-dire, si les mecanismes deja en place restent coherents malgre les changements ou dont les incoherences peuvent etre rapidement resolues. Nous proposons tout d’abord dans cette these un modele pour les systemes resilients. Grâce a ce modele nous pourrons evaluer les capacites d’un ensemble de mecanismes de tolerance aux fautes a assurer les proprietes de surete issues des specifications non fonctionnelles. Cette modelisation nous permettra egalement de definir un ensemble de mesures afin de quantifier la resilience d’un systeme. Enfin nous discuterons dans le dernier chapitre de la possibilite d’inclure la resilience comme un des objectifs du processus de developpement