Ce site web contient l’ensemble des ressources électroniques disponibles pour le cours COMASIC Sûreté de fonctionnement pour l’année 2019-2020
Vous trouverez deux types de contenu :
- Les transparents de cours, et énoncés de TP/TD
- Des supports de cours de mise à niveau (en logique propositionnelle, premier ordre, probabilité, modélisation à base d’automate)
L’objectif de ce cours est de vous faire acquérir une compréhension pratique des problèmes résolus par les méthodes proposé en sûreté de fonctionnement, et les bases disciplinaires sur lesquelles les solutions reposent (algorithmique distribué, logique, mathématique…).
Transparents de cours :
- Introduction (concept et présentations des objectifs de sûreté de fonctionnement)
- Tolérance aux fautes
- Analyses quantitatives
- Cours MDP jusqu’à transparent 24
- Ressources sur les algèbres de propagation de fautes :
- Open Altarica
- AADL error annex
Sujets de TP / TD :
- TP tolérance aux fautes (programmation C),
- TP tolérance aux fautes part2 (recovery blocks)
- TP analyse quantitative (découverte)
- TP analyse quantitative (maitrise)
- Etude de cas : TD-comasic-UC2020,
Articles de référence :
Archives et Sujet d’examen corrigé :
- exam-comasic2018-corrigé
- exam-comasic2017, exam-comasic2017-corrigé
- Sujet 2015-2016
- Etude de cas (+ corrigé de presque tout l’exercice I) TD-comasic-UC-correction-partielle
- énoncé et questions corrigées année 2018-2019
Lien pour faire vos retour sur le déroulement de la session 2017-2018
Attention : il me semble ne jamais avoir été insultant, j’aimerai qu’il en aille de même dans vos commentaires.
J’ai déjà une petite idée des points à absolument améliorer pour l’an prochain mais vos retour peuvent guider cet effort.