Assas Recherche | Analyser et supporter le processus de prise de décision dans la fiabilité des systèmes informatiques avec un framework d'évaluation de fiabilité

Analyser et supporter le processus de prise de décision dans la fiabilité des systèmes informatiques avec un framework d'évaluation de fiabilité (Document en Anglais)

Accès au(x) document(s)

Accéder au(x) document(s) :

https://ged.scdi-montpellier.fr/florabium45/jsp/nnt.jsp?nnt=2016MONTT252

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Version :

Thèse avec 2 versions : seule la version intégrale est proposée ; sur authentification (communication intranet).

Informations sur les contributeurs

Auteur : Kooli Maha

Kooli, Maha

Nom

Kooli

Prénom

Maha

Nationalité

Français

Date de soutenance : 01-12-2016

Directeur(s) de thèse : Di Natale Giorgio

Di Natale, Giorgio

Nom

Di Natale

Prénom

Giorgio

- Torres Lionel

Torres, Lionel

Nom

Torres

Prénom

Lionel

Etablissement de soutenance : Montpellier

Montpellier

Nom

Montpellier

Laboratoire : Laboratoire d'informatique, de robotique et de micro-électronique (Montpellier ; 1992-....)

Laboratoire d'informatique, de robotique et de micro-électronique (Montpellier ; 1992-....)

Nom

Laboratoire d'informatique, de robotique et de micro-électronique (Montpellier ; 1992-....)

Ecole doctorale : École doctorale Information, Structures, Systèmes (Montpellier ; 2015-....)

École doctorale Information, Structures, Systèmes (Montpellier ; 2015-....)

Nom

École doctorale Information, Structures, Systèmes (Montpellier ; 2015-....)

Informations générales

Discipline : Systèmes automatiques et micro-électroniques
Classification : Informatique

Mots-clés libres : Evaluation de fiabilité, Fiabilité de microprocesseur, Sécurité de systèmes critiques
Mots-clés :

Fiabilité - Évaluation
Microprocesseurs
Conception de systèmes informatiques - Mesures de sécurité

Résumé : La fiabilité est devenu un aspect important de conception des systèmes informatiques suite à la miniaturisation agressive de la technologie et le fonctionnement non interrompue qui introduisent un grand nombre de sources de défaillance des composantes matérielles. Le système matériel peut être affecté par des fautes causées par des défauts de fabrication ou de perturbations environnementales telles que les interférences électromagnétiques, les radiations externes ou les neutrons de haute énergie des rayons cosmiques et des particules alpha. Pour les systèmes embarqués et systèmes utilisés dans les domaines critiques pour la sécurité tels que l'avionique, l'aérospatiale et le transport, la présence de ces fautes peut endommager leurs composants et conduire à des défaillances catastrophiques. L'étude de nouvelles méthodes pour évaluer la fiabilité du système permet d'aider les concepteurs à comprendre les effets des fautes sur le système, et donc de développer des produits fiables et sûrs. En fonction de la phase de conception du système, le développement de méthodes d'évaluation de la fiabilité peut réduire les coûts et les efforts de conception, et aura un impact positif le temps de mise en marché du produit.L'objectif principal de cette thèse est de développer de nouvelles techniques pour évaluer la fiabilité globale du système informatique complexe. L'évaluation vise les fautes conduisant à des erreurs logicielles. Ces fautes peuvent se propager à travers les différentes structures qui composent le système complet. Elles peuvent être masquées lors de cette propagation soit au niveau technologique ou architectural. Quand la faute atteint la partie logicielle du système, elle peut endommager les données, les instructions ou le contrôle de flux. Ces erreurs peuvent avoir un impact sur l'exécution correcte du logiciel en produisant des résultats erronés ou empêcher l'exécution de l'application.Dans cette thèse, la fiabilité des différents composants logiciels est analysée à différents niveaux du système (en fonction de la phase de conception), mettant l'accent sur le rôle que l'interaction entre le matériel et le logiciel joue dans le système global. Ensuite, la fiabilité du système est évaluée grâce à des méthodologies d'évaluation flexible, rapide et précise. Enfin, le processus de prise de décision pour la fiabilité des systèmes informatiques est pris en charge avec les méthodes et les outils développés.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2016MONTT252
Type de ressource : Thèse