v2.4.0 (3109)

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 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.

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