Descriptif
Ce cours présente la problématique de la prise en compte des fautes à l'exécution. Ce cours mélange les trois dimensions : description d'objectifs formels, description de motifs de conceptions permettant de satisfaire les objectifs précédamment spécifiés, et des méthodes de vérification des motifs déployés et/ou d'analyse de leurs performances
Objectifs pédagogiques
- Savoir différencier faute erreur et défaillance, et en comprendre l'intérêt pratique de cette décomposition
- Savoir modifier/corriger une conception logicielle pour lui ajouter une capacité de tolérance à un type de faute choisi.
- Savoir analyser une architecture de tolérance aux fautes sous l'angle de la correction puis des performances.
Diplôme(s) concerné(s)
Pour les étudiants du diplôme Echange international non diplomant
Base en probabilités, programmation en C / Java, base en exécutions concurrentes.
Format des notes
Numérique sur 20Littérale/grade européenPour les étudiants du diplôme Diplôme d'ingénieur
L'UE est acquise si Note finale >= 10- Crédits ECTS acquis : 2.5 ECTS
- Crédit d'Option 3A acquis : 2.5
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Echange international non diplomant
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme Programme de mobilité des établissements français partenaires
La note obtenue rentre dans le calcul de votre GPA.
Programme détaillé
- Introduction à la sûreté de fonctionnnement (attributs fiabilté, disponibilité ....)
- Introduction à la tolérance aux fautes (en comparaison à l'élimination et prévention de fautes)
- Mise en oeuvre de motifs classiques de tolérance aux faute (distribuée ou non via des TPs).
- Architectures répliquées et stratégie de masquage de fautes
- Méthodes d'analyse basées chaine de Markov pour la disponibilité et la fiabilité ( TP sous PRISM)
Support pédagogique multimédia
