• JOUR 1 : Décryptage de la norme

    • Présentation du référentiel CENELEC : EN 50126, EN 50128, EN 50129, EN 50159 et EN 50657
    • Différences entre les versions 2001 et 2011

    • Assurance Logiciel

      • ISO 9001:2015
      • Gestion des compétences
      • Attentes et difficultés
      • Gestion d’une application SSIL0
      • Validation versus Vérification
      • Gestion et qualification des outils

    • Préparation de données

      • Spécifications, Implémentation & Vérification du processus de paramétrage

    • Développement d’un logiciel générique

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


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

    • Maintenance & Déploiement

      • Déploiement d’une nouvelle version
      • Maintenance logicielle : de l’expression du changement à son implémentation
      • Modifications mineures vs. Modifications majeures

    • Evaluation

      • Qualification vs. Certification vs. Evaluation
      • Audit
      • Processus d’évaluation