Ce cours présente les concepts principaux de la sûreté de fonctionnement abordé sous un angle fortement mathématisé (systèmes de transition probabilisés, logique pour le traitement du risque). Mise en pratique via des études de cas pratiques.