Centralisation des documents pédagogiques de INF722
Cette page est en cours de mise à jour. Vous trouverez dessus :
Supports de Cours (en cours de mise à jour) :
- Support séances 1 et 2 : intro-SdF-INF722-2019
- Support séances 3 4 5 : tolérance aux fautes
- Support séances 6 et 7 : analyse quantitative
- la version condensée du cours en 4 slides par pages ici
Sujet de TP
- Tolérance aux faute I
- TD tolérance aux fautes (le sujet sera redistribué en cours),
- TD noté, correction du td
- Analyse quantitative I (correction en ligne dès que possible).
- Analyse quantitative II
Lien vers des outils utilisés en cours :
Simulateur codage Hamming : http://www.ecs.umass.edu/ece/koren/FaultTolerantSystems/simulator/Hamming/HammingCodes.html
Site pour l’outil d’ingénierie des exigences :
http://www.utdallas.edu/~supakkul/tools/RE-Tools/download-installation.html
Bonnes pratiques pour écrire un code C signalant / traitant ses erreurs
https://connect.ed-diamond.com/GNU-Linux-Magazine/GLMF-108/Gestion-des-erreurs-en-langage-C
Corrigés :
Références bibliographiques :
Article de référence pour les définitions générales : https://drum.lib.umd.edu/bitstream/handle/1903/6459/TR_2004-47.pdf?sequence=1&isAllowed=y
Présentation associée (présentation complémentaire au cours): http://pages.mtu.edu/~aebnenas/teaching/fall2010/cs5090/present/Shawn/taxonomy.pdf
Article sur l’usage des probabilités dans les analyses de risque de systèmes logiciels : https://hal.archives-ouvertes.fr/hal-01292293
Ressource utilisées en cours :
traitement erreurs fautes AUTOSAR : https://www.autosar.org/fileadmin/user_upload/standards/classic/4-0/AUTOSAR_EXP_ApplicationLevelErrorHandling.pdf
page d’intérêt p19 p31
Examens passés
examen 2018 (note de correction … peut contenir des typos et erreurs)