• JOUR 1 : Décryptage de la norme

    • Présentation du référentiel CENELEC : EN 50126, EN 50128, EN 50129 et EN 50657
    • Différences entre la version 2001 et 2011
    • Mise en oeuvre de la norme EN 50128
    • Maîtrise de la qualité

      • ISO 9001:2000
      • Gestion des compétences
      • Attentes et difficultés
      • Gestion d’une application SSIL0
      • Du niveau SSIL1-2 vers un niveau SSIL3-4
    • Aspects documentaires et impacts cycle en V

      • Exigences
      • Spécifications, architecture, conception
      • Modèle structuré, semi-formel, formel
      • Codage : choix du langage et des règles…
      • Vérification : modélisation, relecture, analyse…
      • Tests : TU, TI, TF, couverture des tests
      • Validation versus vérification
      • Validation : hôte versus cible
      • Notions de couverture des exigences


  • JOUR 2 : Impacts de la mise en oeuvre de EN 50128

    • Dispositions SSIL2 et SSIL3/SSIL4

      • Définition des besoins pour un projet SSIL2
      • Définition des besoins pour un projet SSIL3/4
    • Interaction SIL0 / SIL1-2 / SIL3-4

      • Objectifs du SSIL3-4 et dépendance avec le SSIL1-2 et le SSIL0
      • Gestion et qualification des outils
      • Gestion des outils
      • Qualification vs. certification
    • Audit et évaluation