Cette UE nécessite quelques pré-requis :

• Connaissances élémentaires en probabilités ;
• Connaissances élémentaires en théorie des ensembles.

Même si aucune connaissance en programmation n'est nécessaire, il peut être préférable d'avoir déjà vu un langage de programmation, en particulier impératif (comme Java ou C).

L'objectif de ce cours est de donner une introduction approfondie aux besoins et techniques de la sûreté de fonctionnement, en particulier dans le cadre de la conception de systèmes informatiques embarqués nécessitant des garanties de haute intégrité. Le cours comporte deux parties : une partie qui présente un certain nombre de techniques générales de sûreté de fonctionnement, puis une autre partie introduisant aux méthodes formelles, avec en particulier l'utilisation de la méthode B [1].

Ce cours se propose de donner toutes les compétences nécessaires à tout ingénieur en sûreté de fonctionnement. Il propose, en outre, des connaissances supplémentaires en méthodes formelles, et plus spécifiquement en méthode B, méthode qui est très utilisée en milieu industriel notamment dans le domaine du ferroviaire pour la conception de systèmes critiques.projet (1/3) + examen final (2/3).