Formation aux normes EN 50716 /EN 50128/ EN50657 – Logiciels du ferroviaire

Objectifs

  • Présenter la norme EN 50716/ EN 50128 / EN 50657
  • Cerner les exigences normatives pour spécifier, définir l’architecture, contrôler les logiciels sûrs de fonctionnement
  • Présenter les bonnes pratiques pour la spécification, architecture et conception des Logiciels
  • Maîtriser les techniques de tests et de validation des logiciels

Cette formation est fondée sur un fort retour d’expérience de mise en œuvre des exigences de la Sûreté de Fonctionnement des logiciels embarqués développés pour des applications critiques ferroviaires. L’apport principal de cette formation réside dans notre capacité à fournir un niveau d’information détaillé sur la compréhension des spécificités de cette norme. Cette formation est ponctuée d’exercices pratiques pour illustrer les sujets abordés.

 

  • INTRODUCTION À LA SDF DES SYSTÈMES FERROVIAIRES
    • Présentation des notions de SDF
    • Lien Système/Matériel/Logiciel
  • PRÉSENTATION DES NORMES EN 50128 ET EN 50657
  • LA PLANIFICATION DES LOGICIELS CRITIQUES
    • Organisation des équipes
    • Le cycle de développement
    • Les phases du développement
    • Documentation à produire
  • LA SPÉCIFICATION DU LOGICIEL
    • Présentation de l’attendu normatif
    • Bonnes pratiques
  • L’ARCHITECTURE DU LOGICIEL
    • Présentation de l’attendu normatif
    • Bonnes pratiques
    • Problématiques techniques
      • Les architectures redondées
      • Le multi-SIL
      • Intégration des COTS
      • Réutilisation des composants précédemment développés
  • LA CONCEPTION DU LOGICIEL
    • Présentation de l’attendu normatif
    • Bonnes pratiques
  • RÈGLES DE CONCEPTION À PRIVILÉGIER AU NIVEAU ARCHITECTURE,CONCEPTION DÉTAILLÉE ET CODAGE
    • Modularité, programmation défensive, COTS…
  • RÈGLES DE PROGRAMMATION DU LANGAGE C
    • Fonctions, instructions, données
  • TESTS BAS-NIVEAU
    • Tests des composants, tests d’intégration logiciel/logiciel
  • TESTS HAUT-NIVEAU
    • Tests d’intégration logiciel/matériel, tests d’ensemble du logiciel
  • VÉRIFICATION ET VALIDATION DU LOGICIEL
    • Analyse documentaire, traçabilité, lecture croisée, analyse statique…
  • MÉTHODES DE VALIDATION/EVALUATION DU LOGICIEL
    • LCC, AEEL (AMDEC du logiciel), revue de tests…
  • OUTILS UTILISÉS
    • Analyse statique de code, tests unitaires et d’intégration, modélisation, gestion de configuration, compilateurs, traçabilité…
  • EXIGENCES SUR LES LOGICIELS CONFIGURÉS PAR DONNÉESD’APPLICATION
  • CLASSIFICATION DES OUTILS.

 

Cette formation sera réalisée par l’un de nos spécialistes du domaine ferroviaire ayant mis en œuvre les normes EN 50716, EN 50128 et EN 50657 sur de nombreux projets.

Connaissance du processus de développement.

Chef de projet logiciel, responsable qualité logiciel, développeur, vérificateur, testeur.

Experts en Sûreté de Fonctionnement.

Présentation PowerPoint projetée et diffusée, étude de caspratique, exercices, mise en situation, exemple théorique,supports vidéo…

Evaluation en début et fin de formation, quizz…

5 jours ouvrés avant le début de la formation (si financement OPCO).

Une attestation de formation conforme aux dispositions de l’Article L. 6353-1 alinéa 2 remise au stagiaire.

PARMI NOS FORMATIONS

Norme ISO 26262 – Sécurité fonctionnelle – Véhicules routiers

Sensibilisation à la sécurité fonctionnelle des systèmes électroniques (CEI 61508-1&2)

Contactez-nous