v2.6.4 (3795)

Enseignement scientifique & technique - SLR301 : Sûreté de fonctionnement pour les systèmes

Domaine > Informatique.

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. 

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 20

Littérale/grade européen

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 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 Programme de mobilité des établissements français partenaires

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

Oui

Veuillez patienter