INF 424 Modèles Stochastiques et Sûreté de Fonctionnement (MSSDF) 6 ECTS Parcours : GL_Sdf Semestre : S3 Responsable : Nasser Saheb Objectifs : Les systèmes réels comprennent souvent du matériel pour lequel le "zéro défaut" est impossible. L'analyse de tels systèmes impose des études probabilistes sur les conséquences des dysfonctionnements des systèmes. Programme : - Les modèles stochastiques, les processus Markoviens. - La simulation stochastique. - Le calcul des implicants premiers d'une formule booléenne représentant l'arbre de défaillance d'un système. - Le calcul de la probabilité de l'occurrence d'un événement du système. - Les outils tels que : GreatSPN, Aralia, ... Contrôle des connaissances : - examen écrit de 3h00 (2/3), - controle continu (1/3)