Description

Installations de traction électrique coeff 2
Identifier une installation de traction électrique en 1500V continu ou 25000V alternatifs.
Décrire la supervision, la régulation sous station, les PCC*
Énoncer les contraintes générées par le 3ème rail d’alimentation
Exploiter les données du tracé des voies

Sureté fonctionnelle coeff 2
Sûreté de fonctionnement : Introduction 
Défaillances, erreurs et fautes
Évaluation quantitative
Normes
Circuits, fautes matérielles, et évitement des fautes
Redondance
AMDE(C)
Arbres de défaillances ».

Méthode B :
Logique propositionnelle, logique du premier ordre
Machines B, modélisation ensembliste
Génération des obligations de preuve
Raffinement des machines B
Projet (modélisation d'un problème).