L’objectif de cet UF est d’introduire les grands principes de la sûreté de fonctionnement (SDF) : les concepts de base et les méthodes et techniques permettant de l’obtenir.
Un premier cours donne une introduction générale de la SDF en précisant la terminologie, attributs, moyens.
Des cours spécifiques permettent d’aller un peu plus loin dans ce panorama en illustrant principalement les moyens de – Prévention à travers la modélisation – suivant les paradigmes synchrone et asynchrone
temporisé,- Élimination des fautes à travers la vérification statique de programmes séquentiels et le diagnostic
