Analysing and Supporting the Reliability Decision-making Process in Computing Systems with a Reliability Evaluation Framework

Maha Kooli 1
1 SysMIC - Conception et Test de Systèmes MICroélectroniques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Résumé : La fiabilité est un aspect important de conception des systèmes informatiques suite à la miniaturisation agressive de la technologie ainsi que le fonctionnement non interrompu 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 composantes et conduire à des défaillances catastrophiques du systèmes. 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. Ainsi, il aura un impact positif sur 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 dites "soft". Ces fautes peuvent se propager à travers les différentes structures qui composent le système jusqu’à provoquer une défaillance du logiciel. 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 ses données, ses 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êchant l’exécution de l’application. Dans cette thèse, la fiabilité des différentes composantes 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.
Type de document :
Thèse
Micro and nanotechnologies/Microelectronics. Université Montpellier II, 2016. English
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-01489288
Contributeur : Maha Kooli <>
Soumis le : mardi 14 mars 2017 - 13:48:35
Dernière modification le : jeudi 24 mai 2018 - 15:59:25
Document(s) archivé(s) le : jeudi 15 juin 2017 - 14:24:09

Identifiants

  • HAL Id : tel-01489288, version 1

Collections

Citation

Maha Kooli. Analysing and Supporting the Reliability Decision-making Process in Computing Systems with a Reliability Evaluation Framework. Micro and nanotechnologies/Microelectronics. Université Montpellier II, 2016. English. 〈tel-01489288〉

Partager

Métriques

Consultations de la notice

214

Téléchargements de fichiers

194