• JOUR 1 : Rappels, Principes & Normes

    • Rappels : AMDEC, Arbre de causes, Arbre de conséquences, Loi de défaillances, Markov, Réseaux de Petri + Illustrations
    • Sécurité d’un système de transport guidé - Approche générale et objectif de sécurité

      • Principes
      • Évènements dangereux et de compensation
    • Sécurité et gestion des circulations ferroviaires

      • Concepts de base
      • Risquecouverture
      • Modes d’exploitation
    • Réglementation & Normes

      • Référentiel légal


  • JOUR 2 : Normes & Systèmes critiques

    • Normes

      • Rôles et documents du processus de développement
      • Normes CENELEC EN 50126, 50128 & 50129 et autres normes applicables
    • Modules de contrôle commande

      • Sécurité probabiliste et architectures redondantes
      • Analyse et Démonstration de sécurité


  • JOUR 3 : Systèmes critiques

    • Sécurité des systèmes informatiques critiques

      • Particularités du ferroviaire
      • Méthode et langages formels
      • Dossiers de sécurité
    • Méthode commune de développement de la sécurité (CSM- Common Safety Method)
    • Exemples : systèmes ferroviaires de transit ou grandes lignes avec une attention particulière aux systèmes informatiques critiques