Pages professionnelle – Thomas Robert

Maître de Conférence

Site pédagogique INF722

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) :

Sujet de TP

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 (énoncé seul)

examen 2018 (note de correction … peut contenir des typos et erreurs)